cleanup

smucclaw · Oct 16, 2023 · 4949088 · 4949088
1 parent 7909b64
commit 4949088
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs
@@ -287,7 +287,6 @@ t1 IS IN t2:
                     [ MTT "set of things" ]
                 ] ] )
 -}
-
 simplifybodyRP :: forall m. MonadValidate (HS.HashSet SimL4Error) m =>
                     RelationalPredicate -> m (BoolPropn L4AtomicP)
 simplifybodyRP = \case