From 958bf516484a2bd6af5c1fe19ddc11e9483ded78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adri=C3=A1n=20Arroyo=20Calle?=
 <adrian.arroyocalle@gmail.com>
Date: Fri, 19 Jan 2024 16:58:26 +0100
Subject: [PATCH] Throw error in call_residue_vars/2

---
 src/lib/atts.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/lib/atts.pl b/src/lib/atts.pl
index d6ee47a3d..a1ba0f7d9 100644
--- a/src/lib/atts.pl
+++ b/src/lib/atts.pl
@@ -3,6 +3,7 @@
                  term_attributed_variables/2]).
 
 :- use_module(library(dcgs)).
+:- use_module(library(error)).
 :- use_module(library(terms)).
 
 /* represent the list of attributes belonging to a variable,
@@ -113,6 +114,7 @@
 :- meta_predicate call_residue_vars(0, ?).
 
 call_residue_vars(Goal, Vars) :-
+    can_be(list, Vars),
     '$get_attr_var_queue_delim'(B),
     call(Goal),
     '$get_attr_var_queue_beyond'(B, Vars).