1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Mon Jun 02 17:45:20 2014 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Mon Jun 02 18:06:27 2014 +0200
     1.3 @@ -336,7 +336,7 @@
     1.4  (*TODO: throws exn 'get_pbt not found: ' ... confusing !!
     1.5    take 'ketype' as an argument !!!!!*)
     1.6  fun get_met (metID:metID) = get_py (get_mets ()) metID metID;
     1.7 -fun get_the (theID:theID) = get_py (! thehier) theID theID;
     1.8 +fun get_the (theID:theID) = get_py (get_thes ()) theID theID;
     1.9  
    1.10  
    1.11