fixing 1622
authorChristian Grothoff <christian@grothoff.org>
Fri, 19 Nov 2010 12:31:15 +0000 (12:31 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 19 Nov 2010 12:31:15 +0000 (12:31 +0000)
commitd8e834a9fd6ee35dfe0630d71693d0b82328d818
treecd54240ffbe9ae54796268cbf8f9e2dfc09353f9
parent0e239a0257a5cea29cc58217982f6f78c6ad2fa1
fixing 1622
src/arm/arm_api.c
src/core/core_api.c