diff options
Diffstat (limited to 'examples/attempto/AttemptoI.gf')
| -rw-r--r-- | examples/attempto/AttemptoI.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/attempto/AttemptoI.gf b/examples/attempto/AttemptoI.gf index 66cf5abd8..a10214cf9 100644 --- a/examples/attempto/AttemptoI.gf +++ b/examples/attempto/AttemptoI.gf @@ -105,7 +105,7 @@ lin varNP = symb ; lin adjCN = mkCN ; lin positAP = mkAP ; -lin comparAP = comparAP ; +lin comparAP = Syntax.comparAP ; lin superlAP a = mkAP (mkOrd a) ; |