summaryrefslogtreecommitdiff
path: root/grammars/database/RestaurantEng.gf
diff options
context:
space:
mode:
authoraarne <unknown>2004-08-11 10:32:36 +0000
committeraarne <unknown>2004-08-11 10:32:36 +0000
commit720ccdfefa4b4e8ef27f96edac0ca4671f6a5fc0 (patch)
tree6b100a05340bdef325b513ba3a5c62115782ddc5 /grammars/database/RestaurantEng.gf
parent8bc2cee83156fa923d466a1a9a77816f9049f352 (diff)
paths in release
Diffstat (limited to 'grammars/database/RestaurantEng.gf')
-rw-r--r--grammars/database/RestaurantEng.gf3
1 files changed, 2 insertions, 1 deletions
diff --git a/grammars/database/RestaurantEng.gf b/grammars/database/RestaurantEng.gf
index f214d5404..d0dc304fe 100644
--- a/grammars/database/RestaurantEng.gf
+++ b/grammars/database/RestaurantEng.gf
@@ -1,4 +1,5 @@
---# -path=.:../newresource/abstract:../newresource/english:../prelude
+--# -path=.:../resource/abstract:../resource/english:../newresource/abstract:../newresource/english:../prelude
+--- path names: resource in release, newresource in cvs
concrete RestaurantEng of Restaurant =
DatabaseEng ** open Prelude, ParadigmsEng in {