diff --git a/src/h/external.h b/src/h/external.h
index 2c5c4d4c7..a83f7d1ed 100644
--- a/src/h/external.h
+++ b/src/h/external.h
@@ -188,12 +188,6 @@ extern void init_interpreter(void);
 extern void init_conditional(void);
 
 
-/* earith.c */
-
-extern void extended_mul(int d, int q, int r, int *hp, int *lp);
-extern void extended_div(int d, int h, int l, int *qp, int *rp);
-
-
 /* error.c */
 
 extern cl_object null_string;