From 23a3b3e72d8e5ff87eaa210390f6d9e0ce2a2973 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Tue, 20 Jan 2015 16:03:01 +0100
Subject: [PATCH] Fixed a bug in printing

---
 solver/mcsolver_types.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/solver/mcsolver_types.ml b/solver/mcsolver_types.ml
index 3b116c1f..51915f0d 100644
--- a/solver/mcsolver_types.ml
+++ b/solver/mcsolver_types.ml
@@ -238,7 +238,7 @@ module Make (E : Expr_intf.S)(Th : Plugin_intf.S with
     | 0, Bcp None   -> "@0"
     | n, Bcp (Some c) -> sprintf "->%d/%s" n c.name
     | n, Bcp None   -> sprintf "@@%d" n
-    | _ -> assert false
+    | n, Semantic lvl -> sprintf "::%d/%d" n lvl
 
   let value a =
     if a.is_true then sprintf "[T%s]" (level a)