diff options
Diffstat (limited to 'examples/regulus/toy0/no-functor/Toy0Eng.gf')
| -rw-r--r-- | examples/regulus/toy0/no-functor/Toy0Eng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/regulus/toy0/no-functor/Toy0Eng.gf b/examples/regulus/toy0/no-functor/Toy0Eng.gf index 856da31c4..adc2068e1 100644 --- a/examples/regulus/toy0/no-functor/Toy0Eng.gf +++ b/examples/regulus/toy0/no-functor/Toy0Eng.gf @@ -1,4 +1,4 @@ ---# -path=..:present:api:prelude +--# -path=.:present:api:prelude concrete Toy0Eng of Toy0 = open SyntaxEng, ParadigmsEng in { |