Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
zapashcanon committed Dec 4, 2024
1 parent 56fad4c commit 918cfcd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/cmd/cmd_replay.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 918cfcd

Please sign in to comment.