src/HOL/Tools/Predicate_Compile/code_prolog.ML
changeset 41067 c78a2d402736
parent 40924 a9be7f26b4e6
child 41307 bb8468ae414e
     1.1 --- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Tue Dec 07 16:27:07 2010 +0100
     1.2 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Tue Dec 07 17:23:14 2010 +0100
     1.3 @@ -755,7 +755,7 @@
     1.4    "#!/usr/bin/swipl -q -t main -f\n\n" ^
     1.5    ":- use_module(library('dialect/ciao/aggregates')).\n" ^
     1.6    ":- style_check(-singleton).\n" ^
     1.7 -  ":- style_check(-discontiguous).\n" ^ 	
     1.8 +  ":- style_check(-discontiguous).\n" ^
     1.9    ":- style_check(-atom).\n\n" ^
    1.10    "main :- catch(eval, E, (print_message(error, E), fail)), halt.\n" ^
    1.11    "main :- halt(1).\n"