(zul) changes to improve coverage (VulaBula)

2026-07-03 04:28:33 -06:00 · 2022-08-03 08:39:08 +02:00
parent f634af931e
commit e9940f32c5
22 changed files with 205 additions and 64 deletions
@@ -95,7 +95,7 @@ concrete SentenceZul of Sentence = CatZul ** open Prelude,ResZul,ParamX in {
 --       c2 = cl.c2
 --     } ;
 --
--     AdvS a s = {s = a.s ++ s.s} ;
+    AdvS a s = {s = a.s ++ s.s} ;
 --     ExtAdvS a s = {s = a.s ++ frontComma ++ s.s} ;
 --
 --     SSubjS a s b = {s = a.s ++ frontComma ++ s.s ++ b.s} ;