--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Dec 07 16:27:07 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Dec 07 17:23:14 2010 +0100
@@ -755,7 +755,7 @@
"#!/usr/bin/swipl -q -t main -f\n\n" ^
":- use_module(library('dialect/ciao/aggregates')).\n" ^
":- style_check(-singleton).\n" ^
- ":- style_check(-discontiguous).\n" ^
+ ":- style_check(-discontiguous).\n" ^
":- style_check(-atom).\n\n" ^
"main :- catch(eval, E, (print_message(error, E), fail)), halt.\n" ^
"main :- halt(1).\n"