Remove redundant parentheses

CakeML · Mar 4, 2020 · 2876854 · 2876854
1 parent d2261da
commit 2876854
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/basis/RuntimeProgScript.sml b/basis/RuntimeProgScript.sml
@@ -45,9 +45,9 @@ val _ = append_prog abort
 
 val _ = process_topdecs `
   fun assert cond msg =
-  if (cond)
+  if cond
   then ()
-  else (debugMsg (msg);
+  else (debugMsg msg;
         abort());`
   |> append_prog;