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

Removed some useless semi-colons

Browse source
This commit is contained in:
Guillaume Bury 2015-03-16 13:56:28 +01:00
parent 31f5fdd1ae
commit 381081314e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
solver/mcsolver.ml
View file

@ -844,7 +844,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
try try
while true do while true do
begin try begin try
search (to_int !n_of_conflicts) (to_int !n_of_learnts); search (to_int !n_of_conflicts) (to_int !n_of_learnts)
with with
| Restart -> | Restart ->
n_of_conflicts := !n_of_conflicts *. env.restart_inc; n_of_conflicts := !n_of_conflicts *. env.restart_inc;
@ -854,7 +854,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
Th.if_sat (full_slice tag); Th.if_sat (full_slice tag);
if not !tag then raise Sat if not !tag then raise Sat
end end
done; done
with with
| Sat -> () | Sat -> ()