summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--fold.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/fold.c b/fold.c
index 55e8b72..ea1cb6e 100644
--- a/fold.c
+++ b/fold.c
@@ -82,7 +82,6 @@ visitphi(Phi *p, int n, Fn *fn)
 				v = m;
 		}
 	}
-	assert(v != Top);
 	update(p->to.val, v, fn);
 }