diff --git a/extcheck/extcheck.c b/extcheck/extcheck.c
index 5a71cf5b..07550b50 100644
--- a/extcheck/extcheck.c
+++ b/extcheck/extcheck.c
@@ -90,7 +90,7 @@ main(argc, argv)
 
 #ifdef	free_all_mem
     EFFlatDone(NULL);
-    EFDone();
+    EFDone(NULL);
 #endif	/* free_all_mem */
 
     printf("Memory used: %s\n", RunStats(RS_MEM, NULL, NULL));