- | A.Predicate (name,params) -> assert false
- | A.True -> PT.Ident ("True",None)
- | A.False -> PT.Ident ("False",None)
+ | A.Predicate (name,params) ->
+ prerr_endline ("Predicate is unsupported: " ^ name);
+ assert false
+ | A.True -> mk_ident "True"
+ | A.False -> mk_ident "False"