diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp
index de7cd96b1..96ed62282 100644
--- a/packages/CLPBN/horus/LiftedCircuit.cpp
+++ b/packages/CLPBN/horus/LiftedCircuit.cpp
@@ -870,7 +870,8 @@ LiftedCircuit::getAllPossibleTypes (unsigned nrLogVars) const
     return {{LogVarType::POS_LV},{LogVarType::NEG_LV}};
   }
   vector<LogVarTypes> res;
-  Indexer indexer (vector<unsigned> (nrLogVars, 2));
+  Ranges ranges (nrLogVars, 2);
+  Indexer indexer (ranges);
   while (indexer.valid()) {
     LogVarTypes types;
     for (size_t i = 0; i < nrLogVars; i++) {