fix profiler SIPS not considering propositions cheaper than fully-bou…

…nd non-propositions
souffle-lang · Mar 31, 2022 · 68294e6 · 68294e6
1 parent 06af5f1
commit 68294e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/utility/SipsMetric.cpp b/src/ast/utility/SipsMetric.cpp
@@ -243,7 +243,7 @@ std::vector<double> ProfileUseSips::evaluateCosts(
         // prioritise propositions
         std::size_t arity = atom->getArity();
         if (arity == 0) {
-            cost.push_back(0);
+            cost.push_back(-1);  // cheaper than any non-proposition
             continue;
         }