bug fix in with-modules and gr checker; factoring out cats to Common

2006-05-23 22:20:00 +00:00
parent 84e629aa28
commit 8d0a0b4b22
5 changed files with 4 additions and 15 deletions
--- a/resource-1.0/abstract/Text.gf
+++ b/resource-1.0/abstract/Text.gf
@@ -1,6 +1,6 @@
 --1 Texts

-abstract Text = Cat ** {
+abstract Text = Common ** {

  fun
    TEmpty : Text ;