CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 22:16:10 +03:00
Code Issues Projects Releases Wiki Activity

Hotfix for CI

Browse Source
This commit is contained in:
Denis Merigoux 2022-12-06 18:11:40 +01:00
parent 07edff2cd2
commit e9fd40dddd
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/verification/z3backend.dummy.ml
View File

@ -18,7 +18,8 @@
without the expected backend. All functions print an error message and exit *)
let dummy () =
Cli.error_print "This instance of Catala was compiled without Z3 support.";
Catala_utils.Cli.error_print
"This instance of Catala was compiled without Z3 support.";
exit 124
module Io = struct
@ -35,7 +36,6 @@ module Io = struct
type model = unit
type vc_encoding_result = Success of model * model | Fail of string
let print_positive_result _ = dummy ()
let print_negative_result _ _ _ = dummy ()
let encode_and_check_vc _ _ = dummy ()
end