From 8e45db1466e1bc9289ae5e9a0b5d3e43edce66e9 Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Fri, 17 Nov 2023 11:59:24 +0100 Subject: [PATCH] Style --- src/lib/reasoners/satml_frontend.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml index 3f4e76ee29..39ee257e51 100644 --- a/src/lib/reasoners/satml_frontend.ml +++ b/src/lib/reasoners/satml_frontend.ml @@ -1359,8 +1359,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct calling unsat function *) i_dont_know env (Timeout Assume) | Util.Step_limit_reached _ -> - (* When reaching the step limit on an assume, we do not want to answer - 'unknown' right away. *) + (* When reaching the step limit on an assume, we do not want to + answer 'unknown' right away. *) env (* instrumentation of relevant exported functions for profiling *)