From 9f347ed90495bcde875a5c3646f2291834118a84 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Jan 2019 14:25:02 +0100
Subject: [STM] API to print a Stateid.t

---
 lib/stateid.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/stateid.ml')

diff --git a/lib/stateid.ml b/lib/stateid.ml
index 5485c4bf19..8f45f3605d 100644
--- a/lib/stateid.ml
+++ b/lib/stateid.ml
@@ -27,6 +27,8 @@ let get exn = Exninfo.get exn state_id_info
 let equal = Int.equal
 let compare = Int.compare
 
+let print id = Pp.int id
+
 module Self = struct
  type t = int
  let compare = compare
-- 
cgit v1.2.3