diff options
Diffstat (limited to 'src/tac2ffi.ml')
| -rw-r--r-- | src/tac2ffi.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tac2ffi.ml b/src/tac2ffi.ml index 61b6d56b6c..6fc3b2e0f2 100644 --- a/src/tac2ffi.ml +++ b/src/tac2ffi.ml @@ -28,6 +28,7 @@ let val_projection = Val.create "ltac2:projection" let val_univ = Val.create "ltac2:universe" let val_kont : (Exninfo.iexn -> valexpr Proofview.tactic) Val.tag = Val.create "ltac2:kont" +let val_free : Names.Id.Set.t Val.tag = Val.create "ltac2:free" let extract_val (type a) (type b) (tag : a Val.tag) (tag' : b Val.tag) (v : b) : a = match Val.eq tag tag' with |