diff -r c9af9de8cf35 -r 7e314dd233fd src/Tools/isac/Interpret/solve-step.sml
--- a/src/Tools/isac/Interpret/solve-step.sml	Mon May 18 14:21:41 2020 +0200
+++ b/src/Tools/isac/Interpret/solve-step.sml	Tue May 19 12:33:35 2020 +0200
@@ -29,7 +29,7 @@
 end
 
 (**)
-structure Solve_Step(** ): SOLVE_STEP( **) =
+structure Solve_Step(**): SOLVE_STEP(**) =
 struct
 (**)