From ff0ff458577a325f68a9c9140e938ef69b5f5aab Mon Sep 17 00:00:00 2001 From: Christian Herdtweck Date: Thu, 5 Dec 2019 17:13:56 +0100 Subject: [PATCH] Minor fix: else --> elif Running both cases was impossible, anyway. --- src/arnied_wrapper.py | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/arnied_wrapper.py b/src/arnied_wrapper.py index abb3a2b..713958f 100644 --- a/src/arnied_wrapper.py +++ b/src/arnied_wrapper.py @@ -865,7 +865,7 @@ def batch_update_cnf(cnf, vars): if action == Update: var, ref, val = data last = cnf.update_cnf(var, ref, val) - if action == Add: + elif action == Add: var, ref, val = data last = cnf.add_cnf(var, ref, val) elif action == Delete: -- 1.7.1