simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed a bug in printing

Browse source
This commit is contained in:
Guillaume Bury 2015-01-20 16:03:01 +01:00
parent d227d4c8b5
commit 23a3b3e72d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
solver/mcsolver_types.ml
View file

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