Fixed problem with resetting null state after error for constants.

[splint.git] / configure

diff --git a/configure b/configure
index f230cb57ace7cceb4f9787041bc32045af7cd94d..53d362d0fb82e219114825fcc375fef4954d4de5 100755 (executable)
--- a/configure
+++ b/configure
@@ -3249,7 +3249,7 @@ s/^[^=]*=[        ]*$//;
 }'
 fi
 
-DEFS=-DHAVE_CONFIG_H
+DEFS=-DHAVE_CONFIG_H 
 
 : ${CONFIG_STATUS=./config.status}
 ac_clean_files_save=$ac_clean_files