From 8a8fd265158fa3fe7eea65b50c3da722e81fa688 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 1 Aug 2017 14:43:30 +0200
Subject: Binding more primitive tactics.

---
 src/tac2ffi.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/tac2ffi.ml')

diff --git a/src/tac2ffi.ml b/src/tac2ffi.ml
index 74e2b02aeb..49b49d92fd 100644
--- a/src/tac2ffi.ml
+++ b/src/tac2ffi.ml
@@ -122,3 +122,6 @@ let of_array f vl = ValBlk (0, Array.map f vl)
 let to_array f = function
 | ValBlk (0, vl) -> Array.map f vl
 | _ -> assert false
+
+let of_constant c = of_ext val_constant c
+let to_constant c = to_ext val_constant c
-- 
cgit v1.2.3