From 3d9006db32ac67b4488574706f78bcd6bed5eeeb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 4 Mar 2015 09:47:50 +0000
Subject: [PATCH] make var names available as a global var

---
 H/pl-global.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/H/pl-global.h b/H/pl-global.h
index 2fd1625f5..148d0a125 100755
--- a/H/pl-global.h
+++ b/H/pl-global.h
@@ -299,6 +299,8 @@ typedef struct PL_local_data {
 
   source_location read_source;		/* file, line, char of last term */
 
+  term_t read_varnames;          /* varnames of last term */
+
   struct
   { int		active;			/* doing pipe I/O */
     jmp_buf	context;		/* context of longjmp() */