From a532777dcfc59128be2daa7cc74c7881a06f8cb3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 19 Jan 2014 17:20:58 +0100
Subject: Adding a default object to generic argument registering mechanism.

---
 interp/genintern.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'interp')

diff --git a/interp/genintern.ml b/interp/genintern.ml
index fef32a5ff9..bc41c834a8 100644
--- a/interp/genintern.ml
+++ b/interp/genintern.ml
@@ -24,12 +24,14 @@ module InternObj =
 struct
   type ('raw, 'glb, 'top) obj = ('raw, 'glb) intern_fun
   let name = "intern"
+  let default _ = None
 end
 
 module SubstObj =
 struct
   type ('raw, 'glb, 'top) obj = 'glb subst_fun
   let name = "subst"
+  let default _ = None
 end
 
 module Intern = Register (InternObj)
-- 
cgit v1.2.3