summaryrefslogtreecommitdiff
path: root/src-3.0/GF/Grammar/PrGrammar.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src-3.0/GF/Grammar/PrGrammar.hs')
-rw-r--r--src-3.0/GF/Grammar/PrGrammar.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GF/Grammar/PrGrammar.hs b/src-3.0/GF/Grammar/PrGrammar.hs
index 186792eda..734aa13ca 100644
--- a/src-3.0/GF/Grammar/PrGrammar.hs
+++ b/src-3.0/GF/Grammar/PrGrammar.hs
@@ -245,5 +245,5 @@ lookupIdent c t = case lookupTree prt c t of
Ok v -> return v
_ -> prtBad "unknown identifier" c
-lookupIdentInfo :: Module Ident f a -> Ident -> Err a
+lookupIdentInfo :: Module Ident a -> Ident -> Err a
lookupIdentInfo mo i = lookupIdent i (jments mo)