(Romance) Remove traces of Degree in Extend

2026-06-30 02:58:35 -06:00 · 2021-09-15 15:08:39 +08:00
parent 88d0217d10
commit ef3270ae29
3 changed files with 3 additions and 3 deletions
@@ -214,7 +214,7 @@ incomplete concrete ExtendRomanceFunctor of Extend =
      } ;
    UttAdV av = av ;
    PositAdVAdj a = {
-      s = a.s ! Posit ! AA
+      s = a.s ! AA
      } ;

  lin