test/Tools/isac/Interpret/calchead.sml
branchdecompose-isar
changeset 42201 622e82c76fd7
parent 42181 77f1173be5c0
child 42279 e2759e250604
     1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Tue Jul 26 14:00:38 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Tue Jul 26 14:35:06 2011 +0200
     1.3 @@ -724,6 +724,3 @@
     1.4  "----- WN101008 ptree checked same as isac2002, diff. in nxt --- REPAIRED";
     1.5  if nxt = ("Add_Given", Add_Given "integrateBy x") then ()
     1.6  else error "clchead.sml: check specify phase step 2";
     1.7 -
     1.8 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
     1.9 --.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)