expr_of_iexpr _loc (iexpr_of_ast _loc ast)
and iexpr_of_ast _loc = function
- | ExId (_, IdLid (_, "true")) -> IExpr_bool true
- | ExId (_, IdLid (_, "false")) -> IExpr_bool false
+ | ExId (_, IdUid (_, "True")) -> IExpr_bool true
+ | ExId (_, IdUid (_, "False")) -> IExpr_bool false
| ExStr (_, str) -> IExpr_str str
| ExInt (_, i) -> IExpr_int (big_int_of_string i) (* XXX too large? *)
| ExFlo (_, f) -> IExpr_float (float_of_string f)