# HG changeset patch
# User asl
# Date 1092073642 0
# Node ID c73c316b8a2eb72627edd9f8f9a3ac18ce57133a
# Parent  42611e3b4e7751192413c15c34f0af5d5b3ebcfb
	* include/hal_intr.h (HAL_PLATFORM_RESET): Added missing ;

diff --git a/packages/hal/synth/arch/current/ChangeLog b/packages/hal/synth/arch/current/ChangeLog
--- a/packages/hal/synth/arch/current/ChangeLog
+++ b/packages/hal/synth/arch/current/ChangeLog
@@ -1,3 +1,7 @@
+2004-08-09  Andrew Lunn  <andrew.lunn@ascom.ch>
+
+	* include/hal_intr.h (HAL_PLATFORM_RESET): Added missing ;
+
 2004-08-04  Alexander Neundorf <alexander.neundorf@jenoptik.com>
 
 	* include/hal_io.h: Add cyg_hal_sys_mkdir() system call
diff --git a/packages/hal/synth/arch/current/include/hal_intr.h b/packages/hal/synth/arch/current/include/hal_intr.h
--- a/packages/hal/synth/arch/current/include/hal_intr.h
+++ b/packages/hal/synth/arch/current/include/hal_intr.h
@@ -244,7 +244,7 @@ externC cyg_uint32      hal_clock_read(v
 externC void            cyg_hal_sys_exit(int); 
 #define HAL_PLATFORM_RESET()                                    \
     CYG_MACRO_START                                             \
-    cyg_hal_sys_exit(0)                                         \
+    cyg_hal_sys_exit(0);                                        \
     CYG_MACRO_END
 
 // ----------------------------------------------------------------------------