summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2014-11-27 17:08:35 +0000
committeraarne <aarne@chalmers.se>2014-11-27 17:08:35 +0000
commit9ba5e6978be168e9f148ac37b38644d5ddafa9ff (patch)
treeed16a2a0370c12599d94f908009b88bd4228e104
parent1e2627d9af16f04265a4b030069649098cd693b2 (diff)
switch PhrasebookBul back to present to avoid cabal build failure. More to investigate here.
-rw-r--r--examples/phrasebook/PhrasebookBul.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/phrasebook/PhrasebookBul.gf b/examples/phrasebook/PhrasebookBul.gf
index 4749bd757..bbc092963 100644
--- a/examples/phrasebook/PhrasebookBul.gf
+++ b/examples/phrasebook/PhrasebookBul.gf
@@ -1,4 +1,4 @@
---# -path=.:alltenses
+--# -path=.:present
concrete PhrasebookBul of Phrasebook =
GreetingsBul,