Skip to content

Commit

Permalink
fix(clafrica): problem with auto_commit (#82)
Browse files Browse the repository at this point in the history
  • Loading branch information
pythonbrad authored Sep 14, 2023
1 parent eeff514 commit 378bcdd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion clafrica/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -119,7 +119,7 @@ pub fn run(
if !committed {
translator.translate(&input).iter().for_each(
|(code, remaining_code, text, translated)| {
if *translated {
if auto_commit && *translated {
processor.commit(code, remaining_code, text);
} else if !text.is_empty() {
frontend.add_predicate(code, remaining_code, text);
Expand Down

0 comments on commit 378bcdd

Please sign in to comment.