From 3a84f614a983135bfac75b2704d496b99e4421d3 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 22 Dec 2006 13:10:48 +0000 Subject: documented Combinators --- examples/logic/ArithmEng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples') diff --git a/examples/logic/ArithmEng.gf b/examples/logic/ArithmEng.gf index 21b68dd03..716350186 100644 --- a/examples/logic/ArithmEng.gf +++ b/examples/logic/ArithmEng.gf @@ -1,4 +1,4 @@ ---# -path=.:mathematical:present:resource-1.0/api:prelude +--# -path=.:mathematical:present:api:prelude concrete ArithmEng of Arithm = LogicEng ** open -- cgit v1.2.3