1.1 --- a/src/Tools/isac/Interpret/ctree.sml	Fri Jul 24 08:09:06 2015 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ctree.sml	Fri Aug 07 15:52:17 2015 +0200
     1.3 @@ -1215,14 +1215,10 @@
     1.4       spec;                 (*specification*)
     1.5  val e_ocalhd = (false, Und, e_term, [e_itm], [(false, e_term)], e_spec);
     1.6  
     1.7 -datatype ptform =
     1.8 -	 Form of term
     1.9 -       | ModSpec of ocalhd;
    1.10 +datatype ptform = Form of term | ModSpec of ocalhd;
    1.11  val e_ptform = Form e_term;
    1.12  val e_ptform' = ModSpec e_ocalhd;
    1.13  
    1.14 -
    1.15 -
    1.16  (*.applies (snd f) to the branches at a pos if ((fst f) b),
    1.17     f : (ppobj -> bool) * (int -> ptree list -> ptree list).*)
    1.18