diff options
| author | Siddharth Bhat | 2018-07-17 01:14:36 +0200 |
|---|---|---|
| committer | Siddharth Bhat | 2018-07-17 13:14:44 +0200 |
| commit | 83afcfd21be0084b2eff33ffd9e2d8b785679d4a (patch) | |
| tree | 7743af4c6fd7ebdabab8cdebf2f51b7285896ece /engine/evar_kinds.ml | |
| parent | 78321b33b0e5af859f2f57ef96aeb95fad258138 (diff) | |
change into QuestionMark default
Diffstat (limited to 'engine/evar_kinds.ml')
| -rw-r--r-- | engine/evar_kinds.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/engine/evar_kinds.ml b/engine/evar_kinds.ml index bedfd0cbbd..ea1e572548 100644 --- a/engine/evar_kinds.ml +++ b/engine/evar_kinds.ml @@ -30,6 +30,12 @@ type question_mark = { qm_record_field: record_field option; } +let default_question_mark = { + qm_obligation=Define true; + qm_name=Anonymous; + qm_record_field=None; +} + type t = | ImplicitArg of GlobRef.t * (int * Id.t option) * bool (** Force inference *) |