Hashtbl.find uri_of_id_map $1
with
Not_found ->
- raise (UnknownIdentifier $1)
+ match ! CicTextualParser0.locate_object $1 with
+ | None -> raise (UnknownIdentifier $1)
+ | Some term -> Hashtbl.add uri_of_id_map $1 term; term
}
| CASE LPAREN expr COLON INDTYURI SEMICOLON expr RPAREN LCURLY branches RCURLY
{ let cookingno = get_cookingno (fst $5) in