Cleaned up names and paths in toy0 grammars.

2007-06-27 12:50:42 +00:00
parent ab99a1f89a
commit a22de1a9f6
12 changed files with 68 additions and 29 deletions
--- 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 {