cosmetics

vprover · Apr 26, 2024 · 51ebfad · 51ebfad
1 parent bbfe687
commit 51ebfad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Indexing/ResultSubstitution.hpp b/Indexing/ResultSubstitution.hpp
@@ -84,7 +84,7 @@ class ResultSubstitution
   }
 
   virtual TermList applyToBoundResult(unsigned v)
-  { return applyToResult(TermList(v,false)); }
+  { return applyToResult(TermList::var(v)); }
 
   /**
    * Apply substitution to result term that fulfills the condition,