diff options
Diffstat (limited to 'src/versions/native/structures.ml')
| -rw-r--r-- | src/versions/native/structures.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/versions/native/structures.ml b/src/versions/native/structures.ml index ee4bf96..94d68c1 100644 --- a/src/versions/native/structures.ml +++ b/src/versions/native/structures.ml @@ -168,6 +168,7 @@ let set_evars_tac _ = Tacticals.tclIDTAC (* Other differences between the two versions of Coq *) type constr_expr = Topconstr.constr_expr let error = Errors.error +let warning _ s = Pp.warning s let extern_constr = Constrextern.extern_constr true Environ.empty_env let destruct_rel_decl (n, _, t) = n, t let interp_constr env sigma = Constrintern.interp_constr sigma env |