Skip to content

Commit 23f1b32

Browse files
authored
typo fix
1 parent c2dd7e4 commit 23f1b32

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

backend/src/api/utils.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -719,7 +719,7 @@ fn check_not_free_condition(formulas: Vec<&Formula>, var: &String) -> BackendRes
719719
let captured = get_all_captures(f)?;
720720
if !captured.contains(var) {
721721
return Err(BackendError::BadRequest(format!(
722-
"In {} the variable {} could occure freely",
722+
"In {} the variable {} could occur freely",
723723
f,
724724
var
725725
)));

0 commit comments

Comments
 (0)