Fix typos for error triggered when no input variables were provided (#498)

This commit is contained in:
Denis Merigoux 2023-08-17 14:00:39 +02:00 committed by GitHub
commit 7b7a396665
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -806,8 +806,8 @@ let interpret_program_lcalc p s : (Uid.MarkedString.info * ('a, 'm) gexpr) list
"This scope needs input arguments to be executed. But the Catala \
built-in interpreter does not have a way to retrieve input \
values from the command line, so it cannot execute this scope. \
Please create another scope thatprovide the input arguments to \
this one and execute it instead. ")
Please create another scope that provides the input arguments \
to this one and execute it instead. ")
taus
in
let to_interpret =
@ -857,8 +857,8 @@ let interpret_program_dcalc p s : (Uid.MarkedString.info * ('a, 'm) gexpr) list
"This scope needs input arguments to be executed. But the Catala \
built-in interpreter does not have a way to retrieve input \
values from the command line, so it cannot execute this scope. \
Please create another scope thatprovide the input arguments to \
this one and execute it instead. ")
Please create another scope that provides the input arguments \
to this one and execute it instead. ")
taus
in
let to_interpret =