From 386b798b35e12a93e9f089a0283614ea1891ed2c Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Wed, 11 Jul 2012 22:08:10 +0900
Subject: [PATCH] disabling placeholder digits by default

---
 include/chibi/features.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/chibi/features.h b/include/chibi/features.h
index dad77e1d..9d67c081 100644
--- a/include/chibi/features.h
+++ b/include/chibi/features.h
@@ -436,7 +436,7 @@
 #endif
 
 #ifndef SEXP_USE_PLACEHOLDER_DIGITS
-#define SEXP_USE_PLACEHOLDER_DIGITS SEXP_USE_FLONUMS
+#define SEXP_USE_PLACEHOLDER_DIGITS 0
 #endif
 
 #ifndef SEXP_PLACEHOLDER_DIGIT