-disable extra checks by default
authorChristian Grothoff <christian@grothoff.org>
Sat, 2 Mar 2013 22:10:55 +0000 (22:10 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sat, 2 Mar 2013 22:10:55 +0000 (22:10 +0000)
commit3db319d5d3ce6510eb344a7d3c0ba10df8457443
tree65b341e4277db281c2cbf475b1a07907ec2d2c7d
parentb4c19b093ea1b69dd479d0f8d06bbd7df74684bd
-disable extra checks by default
src/include/platform.h