fixed a small bug when translation substitutions to TPTP format

leoprover · Jul 24, 2017 · 89206d6 · 89206d6
1 parent 419fa15
commit 89206d6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/scala/leo/modules/output/ToTPTP.scala b/src/main/scala/leo/modules/output/ToTPTP.scala
@@ -222,11 +222,11 @@ object ToTPTP {
               case e: Exception => leo.Out.warn(s"Could not translate substitution entry to TPTP format, Exception raised:\n${e.toString}")
                 sb.append(s"bind($i, $$thf(${erg.pretty}))")
             }
-           if (i < max) sb.append(",")
+           sb.append(",")
           }
           i = i + 1
         }
-        sb.toString()
+        sb.init.toString()
       }
     }
   }