1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu May 08 14:09:02 2014 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Sat May 31 15:09:33 2014 +0200
     1.3 @@ -761,7 +761,7 @@
     1.4        case tac of
     1.5          Rewrite_Set rlsID => rlsID
     1.6        | Rewrite_Set_Inst (_, rlsID) => rlsID
     1.7 -      | _ => "list_rls" (*WN120806 "e_rls" is appropriate, but raises exn 'get_pbt not found: ?!?*)
     1.8 +      | _ => "e_rls"
     1.9      val (part, thyID) = thy_containing_rls "Isac" rlsID;
    1.10      val Hrls {thy_rls = (_, rls), ...} = get_the [part, thyID, "Rulesets", rlsID]
    1.11    in case rls of