From 0499f51cedb38eba6b8ecd01ce94ddfb1b6ae9c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 21 Feb 2014 18:24:59 +0100
Subject: checker and votour ported to new vo format (after -vi2vo)

---
 checker/values.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'checker/values.ml')

diff --git a/checker/values.ml b/checker/values.ml
index a047c80058..0a2e53799b 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -191,14 +191,14 @@ let v_cst_type =
 
 let v_cst_def =
   v_sum "constant_def" 0
-    [|[|Opt Int|]; [|v_cstr_subst|]; [|v_computation v_lazy_constr|]|]
+    [|[|Opt Int|]; [|v_cstr_subst|]; [|v_lazy_constr|]|]
 
 let v_cb = v_tuple "constant_body"
   [|v_section_ctxt;
     v_cst_def;
     v_cst_type;
     Any;
-    v_computation v_cstrs;
+    v_cstrs;
     v_bool|]
 
 let v_recarg = v_sum "recarg" 1 (* Norec *)
@@ -300,7 +300,8 @@ let v_libraryobjs = Tuple ("library_objects",[|v_libobjs;v_libobjs|])
 let v_lib =
   Tuple ("library",[|v_dp;v_compiled_lib;v_libraryobjs;v_deps;Array v_dp|])
 
-let v_opaques = Array v_constr
+let v_opaques = Array (v_computation v_constr)
+let v_univopaques = Opt (Array (v_computation v_cstrs))
 
 (** Registering dynamic values *)
 
-- 
cgit v1.2.3