From 8c59f1a464a446191f48358fe2484ec65ac0ef1c Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 30 Nov 2017 13:01:48 +0100
Subject: Add interfaces for checker and remove dead code.

---
 checker/validate.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'checker/validate.ml')

diff --git a/checker/validate.ml b/checker/validate.ml
index 820040587..2624e6d49 100644
--- a/checker/validate.ml
+++ b/checker/validate.ml
@@ -49,8 +49,6 @@ let (/) (ctx:error_context) s : error_context = s::ctx
 exception ValidObjError of string * error_context * Obj.t
 let fail ctx o s = raise (ValidObjError(s,ctx,o))
 
-type func = error_context -> Obj.t -> unit
-
 (* Check that object o is a block with tag t *)
 let val_tag t ctx o =
   if Obj.is_block o && Obj.tag o = t then ()
-- 
cgit v1.2.3