diff options
Diffstat (limited to 'kernel/evar.ml')
| -rw-r--r-- | kernel/evar.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/evar.ml b/kernel/evar.ml index e63665f519..dcd2e12a0c 100644 --- a/kernel/evar.ml +++ b/kernel/evar.ml @@ -13,6 +13,7 @@ let unsafe_of_int x = x let compare = Int.compare let equal = Int.equal let hash = Int.hash +let print x = Pp.(str "?X" ++ int x) module Set = Int.Set module Map = Int.Map |