1 files changed, 1 insertions, 0 deletions
diff --git a/all.h b/all.h
index 74feafe..7a636cc 100644
--- a/all.h
+++ b/all.h
@@ -529,6 +529,7 @@ void filluse(Fn *);
 void fillpreds(Fn *);
 void fillrpo(Fn *);
 void ssa(Fn *);
+void ssacheck(Fn *);
 
 /* copy.c */
 void copy(Fn *);