diff options
| author | Pierre-Marie Pédrot | 2017-08-01 14:43:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-01 15:48:23 +0200 |
| commit | 8a8fd265158fa3fe7eea65b50c3da722e81fa688 (patch) | |
| tree | 2d121778619f7dcaaeda7316dcc9fa311cac350a /src/tac2ffi.ml | |
| parent | 7cd31681eb5e3ccc7e7e920bb7eebe92827f6b16 (diff) | |
Binding more primitive tactics.
Diffstat (limited to 'src/tac2ffi.ml')
| -rw-r--r-- | src/tac2ffi.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |