Substitute test updated

1 files changed, 1 insertions, 1 deletions

diff --git a/Test.hs b/Test.hs
index 835bd89..47bba79 100644
--- a/Test.hs
+++ b/Test.hs
@@ -121,7 +121,7 @@ substitute8 = TestCase (assertEqual "for (substitute ([],[(x',y'),(y',z')]) (x')
 
 substitute9 = TestCase (assertEqual "for (substitute ([(tx',ty'),(ty',ta)],[]) (z' with typevar tx'))"
 	                                (TVar (Var (stdName "z'") stdType))
-	                                (substitute ([(stdTypeVarName,altTypeVar),(altTypeVarName,stdType)],[]) (stdVarTerm "z'")))
+	                                (substitute ([(stdTypeVarName,altTypeVar),(altTypeVarName,stdType)],[]) (TVar (Var (stdName "z'") altTypeVar))))
 
 
 main =