diff options
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 |