From 5013880fc54badddc433b7ca4c327535a5ed113f Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 22 Nov 2013 17:19:26 +0000
Subject: [PATCH] get rid of locale for now

---
 H/pl-shared.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/pl-shared.h b/H/pl-shared.h
index ff1ef7cb7..ebef7851d 100755
--- a/H/pl-shared.h
+++ b/H/pl-shared.h
@@ -29,7 +29,7 @@
 // SWI Options
 #define O_STRING		1
 #define O_QUASIQUOTATIONS	1
-#define O_LOCALE		1
+//#define O_LOCALE		1
 //#define O_ATOMGC		1
 //#define O_CLAUSEGC		1
 #ifdef HAVE_GMP_H