1 files changed, 0 insertions, 3 deletions
diff --git a/all.h b/all.h
index e53e290..59eefe1 100644
--- a/all.h
+++ b/all.h
@@ -497,9 +497,6 @@ void fillrpo(Fn *);
 void ssa(Fn *);
 void ssacheck(Fn *);
 
-/* simpl.c */
-void simpl(Fn *);
-
 /* copy.c */
 void copy(Fn *);