Changes by: Jason J. Hickey (jyh at cs.caltech.edu) Date: 2007-05-14 12:46:07 -0700 (Mon, 14 May 2007) Revision: 10747 Log message:
Update the DLL hooks to use nativeint, not int, to represent C integers.