remove some more obsolete code

This commit is contained in:
krasimir
2009-01-23 07:16:46 +00:00
parent 724417916c
commit d5f4482e39
7 changed files with 8 additions and 46 deletions

View File

@@ -56,9 +56,6 @@ computeTermOpt rec gr = comput True where
Q p c | p == cPredef -> return t
| otherwise -> look p c
-- if computed do nothing
Computed t' -> return $ unComputed t'
Vr x -> do
t' <- maybe (prtBad ("no value given to variable") x) return $ lookup x g
case t' of