make var names available as a global var

2015-03-04 09:47:50 +00:00 · 2015-03-04 09:47:50 +00:00 · 3d9006db32
commit 3d9006db32
parent 8ea17007f0
1 changed files with 2 additions and 0 deletions
--- 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() */