(Pes) Remove unnecessary parameters from Imp

2019-03-20 15:32:43 +01:00
parent 79ceab1ec1
commit 8452076636
3 changed files with 6 additions and 6 deletions
@@ -18,7 +18,7 @@ concrete CatPes of Cat = CommonX ** open ResPes, Prelude in {
      vp : ResPes.TAnt => Polarity => Order => Str ;
      c2 : ResPes.Compl
      } ;
-    Imp = {s : Polarity => ImpForm => Str} ;
+    Imp = {s : Polarity => Number => Str} ;

 ---- Question
    QCl = {s : ResPes.TAnt => Polarity => Str} ;