1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Fri Sep 03 12:22:35 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Fri Sep 03 12:33:16 2010 +0200
     1.3 @@ -693,8 +693,8 @@
     1.4  	val wh = (case wh of
     1.5  		     [] => []
     1.6  		   | ((_,wh')::[]) => 
     1.7 -		     ((map (term_of o the o (parse thy)) wh')
     1.8 -		     handle _ => raise error 
     1.9 +		     ((map (parse_patt thy) wh')
    1.10 +		      handle _ => raise error 
    1.11  			("prep_pbt: syntax error in '#Where' of "^
    1.12  			 (strs2str pblID)))
    1.13  		   | _ =>
    1.14 @@ -771,7 +771,7 @@
    1.15  	val wh = (case wh of
    1.16  		     [] => []
    1.17  		   | ((_,wh')::[]) => 
    1.18 -		     ((map (term_of o the o (parse thy)) wh')
    1.19 +		     ((map (parse_patt thy) wh')
    1.20  		     handle _ => raise error 
    1.21  			("prep_pbt: syntax error in '#Where' of "^
    1.22  			 (strs2str metID)))