From 2d143d1ff5acefd64847b330479f752fa4ab5e0c Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Thu, 5 Oct 2023 18:25:14 +0200 Subject: [PATCH] Poetry --- src/bin/common/solving_loop.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/bin/common/solving_loop.ml b/src/bin/common/solving_loop.ml index b74cfa9df..90489d1f8 100644 --- a/src/bin/common/solving_loop.ml +++ b/src/bin/common/solving_loop.ml @@ -213,7 +213,7 @@ let main () = FE.print_status (FE.Timeout None) 0; exit_as_timeout () | Parsing.Parse_error -> - (* TODO(Steven): display a dummy value is a bad idea. + (* TODO(Steven): displaying a dummy value is a bad idea. This should only be executed with the legacy frontend, which should be deprecated in a near future, so this code will be removed (or at least, its behavior unspecified). *) @@ -589,11 +589,11 @@ let main () = (* TODO: add the location of the statement. *) recoverable_error "No model produced."; st else - (* TODO: add the location of the statement. *) - let () = - recoverable_error "Model generation disabled (try --produce-models)" - in - st + begin + (* TODO: add the location of the statement. *) + recoverable_error "Model generation disabled (try --produce-models)"; + st + end | {contents = `Reset; _} -> st