1.1 --- a/src/Tools/isac/Specify/o-model.sml	Mon Jun 20 18:37:54 2022 +0200
     1.2 +++ b/src/Tools/isac/Specify/o-model.sml	Mon Jun 20 18:43:51 2022 +0200
     1.3 @@ -347,4 +347,4 @@
     1.4  	      else (UnparseC.term_in_ctxt ctxt d ^ " not in example", (0, [], sel, d, ts), [])
     1.5    end
     1.6  
     1.7 -(**)end(**);
     1.8 \ No newline at end of file
     1.9 +(**)end(**);