diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9de491696b8..9c7e9d4a66d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2000-08-18  Emmanuel Marty  <emarty@suntech.fr>
+
+	* arm/lib1funcs.asm (_umodsi3 THUMB VARIANT): Restore deleted return
+	insn.
+
 2000-08-17  Richard Henderson  <rth@cygnus.com>
 
 	* config/ia64/ia64.c (spill_restore_mem): Handle emitting
diff --git a/gcc/config/arm/lib1funcs.asm b/gcc/config/arm/lib1funcs.asm
index aade9a240fc..e0cc2f5d241 100644
--- a/gcc/config/arm/lib1funcs.asm
+++ b/gcc/config/arm/lib1funcs.asm
@@ -436,6 +436,7 @@ Over9:
 	add	dividend, dividend, work
 Over10:
 	pop	{ work }
+	RET
 	
 #else  /* ARM version.  */