Fix a typo

myreen · myreen · commit a70d3e97d0a6 · 2025-04-11T22:53:32.000+02:00
diff --git a/translator/monadic/monad_base/ml_monadBaseLib.sml b/translator/monadic/monad_base/ml_monadBaseLib.sml
@@ -12,8 +12,7 @@ local
   structure Parse = struct
     open Parse
      val (Type,Term) =
-         parse_from_grammars $ valOf $ grammarDB {thyname="ml_monadBase
-"}
+         parse_from_grammars (valOf (grammarDB {thyname="ml_monadBase"}))
   end
   open Parse
 
