From ebb239b2335fd0c517216a4ec4c63217b9ca6c5c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 20 Dec 2012 21:15:26 +0000
Subject: [PATCH] uninst error

---
 os/pl-error.c | 5 +++++
 1 file changed, 5 insertions(+)
 mode change 100644 => 100755 os/pl-error.c

diff --git a/os/pl-error.c b/os/pl-error.c
old mode 100644
new mode 100755
index f3eb2f63b..8587a9198
--- a/os/pl-error.c
+++ b/os/pl-error.c
@@ -204,6 +204,11 @@ PL_instantiation_error(term_t actual)
 { return PL_error(NULL, 0, NULL, ERR_INSTANTIATION);
 }
 
+int
+PL_uninstantiation_error(term_t actual)
+{ return PL_error(NULL, 0, NULL, ERR_UNINSTANTIATION, 0, actual);
+}
+
 int
 PL_representation_error(const char *resource)
 { atom_t r = PL_new_atom(resource);