Fix substStep

2021-12-01 11:49:47 +01:00 · 2021-12-01 11:49:47 +01:00 · 7392a865d3
commit 7392a865d3
parent 5ef6d9abb9
1 changed files with 1 additions and 0 deletions
--- a/src/main/scala/hb/dhbw/Unify.scala
+++ b/src/main/scala/hb/dhbw/Unify.scala
@ -271,6 +271,7 @@ object Unify {
    do{
      substResult = substCall(substResult._1)
      substResult._2.map(it => {
+        substVars = subst(it.left.asInstanceOf[UnifyTV], it.right, substVars)
        substVars = substVars + it
      })
    }while(substResult._2.isDefined)