Changeset 4290 for trunk/configs/ciao_aux.config

Timestamp:

05/30/08 12:13:14 (7 months ago)

Author:

pmoura

Message:

Ciao also supports the multifile /1 predicate directive.

Files:

• trunk/configs/ciao_aux.config (modified) (1 diff)

trunk/configs/ciao_aux.config

@@ -265 +265 @@
 
 '$lgt_default_flag'(encoding_directive, unsupported).
-'$lgt_default_flag'(multifile_directive, unsupported).
+'$lgt_default_flag'(multifile_directive, supported).
 '$lgt_default_flag'(threads, unsupported).