From 83afcfd21be0084b2eff33ffd9e2d8b785679d4a Mon Sep 17 00:00:00 2001
From: Siddharth Bhat <siddu.druid@gmail.com>
Date: Tue, 17 Jul 2018 01:14:36 +0200
Subject: change into QuestionMark default

---
 engine/evar_kinds.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'engine/evar_kinds.ml')

diff --git a/engine/evar_kinds.ml b/engine/evar_kinds.ml
index bedfd0cbb..ea1e57254 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 *)
-- 
cgit v1.2.3