changeset 59996 | 7e314dd233fd |
parent 59970 | ab1c25c0339a |
child 60154 | 2ab0d1523731 |
1.1 --- a/src/Tools/isac/Interpret/solve-step.sml Mon May 18 14:21:41 2020 +0200 1.2 +++ b/src/Tools/isac/Interpret/solve-step.sml Tue May 19 12:33:35 2020 +0200 1.3 @@ -29,7 +29,7 @@ 1.4 end 1.5 1.6 (**) 1.7 -structure Solve_Step(** ): SOLVE_STEP( **) = 1.8 +structure Solve_Step(**): SOLVE_STEP(**) = 1.9 struct 1.10 (**) 1.11