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.

---
 tactics/geninterp.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tactics')

diff --git a/tactics/geninterp.ml b/tactics/geninterp.ml
index 2e95670d61..e9d3f42925 100644
--- a/tactics/geninterp.ml
+++ b/tactics/geninterp.ml
@@ -24,6 +24,7 @@ module InterpObj =
 struct
   type ('raw, 'glb, 'top) obj = ('glb, 'top) interp_fun
   let name = "interp"
+  let default _ = None
 end
 
 module Interp = Register(InterpObj)
-- 
cgit v1.2.3