New place for new resource API implementations.

This commit is contained in:
aarne
2003-11-25 15:11:59 +00:00
parent 3c94482769
commit 1574e20786
2 changed files with 4 additions and 4 deletions

View File

@@ -1,7 +1,7 @@
--# -path=.:../resource/nabstract:../resource/nenglish:../prelude
concrete RestaurantEng of Restaurant =
DatabaseEng ** open Prelude,ParadigmsEng in {
DatabaseEng ** open Prelude, ParadigmsEng in {
lin
Restaurant = cnNonhuman "restaurant" ;