Add missing enable_undef to "sat -tempinduct-def", fixes #883

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 695a03e15fadd108717e9bdc8ec64f3ad7f00b9d..cbba738f06b70cf1a5832fead05034bd8970484b 100644 (file)
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1169,6 +1169,7 @@ struct SatPass : public Pass {
                        if (args[argidx] == "-tempinduct-def") {
                                tempinduct = true;
                                tempinduct_def = true;
+                               enable_undef = true;
                                continue;
                        }
                        if (args[argidx] == "-tempinduct-baseonly") {