simplify the Term again

This commit is contained in:
krasimir
2009-10-27 15:45:05 +00:00
parent f0ab7463e8
commit 7656ff29b5
6 changed files with 0 additions and 10 deletions

View File

@@ -132,8 +132,6 @@ computeTermOpt rec gr = comput True where
_ -> returnC $ P t' l
PI t l i -> comp g $ P t l -----
S t v -> do
t' <- compTable g t
v' <- comp g v