Fix import

wimmers · wimmers · commit d58b3cbca4de · 2020-01-05T17:05:07.000+01:00
diff --git a/ML/build_muntac.sml b/ML/build_muntac.sml
@@ -16,5 +16,6 @@ map (fn f => use (mlunta_dir ^ "/" ^ f)) [
   "serializable.sml",
   "certificate.sml"
 ];
+use "Util.sml";
 use "Muntac.sml";
 case OS.Process.getEnv "PROFILE_POLY" of SOME _ => use "profile_poly.sml" | NONE => ()
