From 8ad0cba7fe54a2ec017d172c130972a511fcffe0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 8 Jul 2014 15:01:42 +0100 Subject: [PATCH] fix single name passing --- C/iopreds.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/C/iopreds.c b/C/iopreds.c index d0d2ca302..0c6639442 100755 --- a/C/iopreds.c +++ b/C/iopreds.c @@ -689,7 +689,7 @@ Yap_read_term(term_t t0, IOSTREAM *inp_stream, struct read_data_t *rd) else rd->singles = FALSE; } else if (rd->singles) { - if (!Yap_unify( rd->singles, Yap_GetFromSlot( v PASS_REGS ))) + if (!Yap_unify( v, Yap_GetFromSlot( rd->singles PASS_REGS ))) return FALSE; } }