From 18b982bd253152452f253b1f46c669369ddf91f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 2 Dec 2011 23:08:08 +0000
Subject: [PATCH] __LD version

---
 os/pl-error.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/os/pl-error.c b/os/pl-error.c
index 2055e1daa..43ede40b2 100644
--- a/os/pl-error.c
+++ b/os/pl-error.c
@@ -30,6 +30,8 @@ PL_get_chars_ex(term_t t, char **s, unsigned int flags)
 }
 
 
+#undef PL_get_atom_ex
+
 int
 PL_get_atom_ex__LD(term_t t, atom_t *a ARG_LD)
 { if ( PL_get_atom(t, a) )
@@ -38,6 +40,14 @@ PL_get_atom_ex__LD(term_t t, atom_t *a ARG_LD)
   return PL_error(NULL, 0, NULL, ERR_TYPE, ATOM_atom, t);
 }
 
+int
+PL_get_atom_ex(term_t t, atom_t *a)
+{ if ( PL_get_atom(t, a) )
+    succeed;
+
+  return PL_error(NULL, 0, NULL, ERR_TYPE, ATOM_atom, t);
+}
+
 
 int
 PL_get_integer_ex(term_t t, int *i)