1.1 --- a/src/Tools/isac/Specify/m-match.sml	Fri Mar 31 12:07:52 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/m-match.sml	Tue Apr 04 10:54:12 2023 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4    
     1.5  (* check a problem (ie. ori list) for matching a problemtype, 
     1.6     takes the I_Model.variables for concluding completeness (FIXME could be another!) *)
     1.7 -fun match_oris ctxt where_rls oris (pbt,where_) = 
     1.8 +fun match_oris ctxt where_rls oris (pbt, where_) = 
     1.9    let
    1.10      val itms = (flat o (map (chk1_ pbt))) oris;
    1.11      val mvat = I_Model.variables itms;