From 918cfcdcbb8c5e600db8568defc78804fe15ffe1 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Wed, 4 Dec 2024 12:59:53 +0100 Subject: [PATCH] fmt --- src/cmd/cmd_replay.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd/cmd_replay.ml b/src/cmd/cmd_replay.ml index 7e6ac811..2027f24e 100644 --- a/src/cmd/cmd_replay.ml +++ b/src/cmd/cmd_replay.ml @@ -136,7 +136,7 @@ let cmd profiling debug unsafe optimize replay_file file = | Unit | Int _ | Real _ | Str _ | List _ | App _ | Nothing -> Error (`Invalid_model - (Fmt.str "unexpected value type: %a" Smtml.Value.pp v) ) ) + (Fmt.str "unexpected value type: %a" Smtml.Value.pp v) ) ) (Smtml.Model.get_bindings model) in Array.of_list model