From 5a2aa219db0028cd28c01020b9f787f2cd6a3d6d Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 16 Aug 2011 08:47:31 -0700 Subject: [PATCH] more slot stuff --- C/iopreds.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/C/iopreds.c b/C/iopreds.c index c49325074..44ce076d5 100644 --- a/C/iopreds.c +++ b/C/iopreds.c @@ -1133,7 +1133,7 @@ Yap_InitIOPreds(void) Yap_InitCPred ("$force_char_conversion", 0, p_force_char_conversion, SyncPredFlag|HiddenPredFlag); Yap_InitCPred ("$disable_char_conversion", 0, p_disable_char_conversion, SyncPredFlag|HiddenPredFlag); Yap_InitCPred ("$get_default_encoding", 1, p_get_default_encoding, SafePredFlag|TestPredFlag); - Yap_InitCPred ("$encoding", 2, p_encoding, SafePredFlag|SyncPredFlag), + Yap_InitCPred ("$encoding", 2, p_encoding, SafePredFlag|SyncPredFlag|UserCPredFlag), #if HAVE_SELECT // Yap_InitCPred ("stream_select", 3, p_stream_select, SafePredFlag|SyncPredFlag); #endif