# HG changeset patch
# User blanchet
# Date 1328794938 -3600
# Node ID ef9d534e9119d9e4b0ee03010603c87ec2b8afa7
# Parent  db6d2a89a21fa5940b5fa62bbc1819a54cd916ac
minor DFG fix

diff -r db6d2a89a21f -r ef9d534e9119 src/HOL/Tools/ATP/atp_problem.ML
--- a/src/HOL/Tools/ATP/atp_problem.ML	Thu Feb 09 14:35:27 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_problem.ML	Thu Feb 09 14:42:18 2012 +0100
@@ -320,7 +320,7 @@
   | flatten_type _ =
     raise Fail "unexpected higher-order type in first-order format"
 
-val dfg_individual_type = "ii" (* cannot clash *)
+val dfg_individual_type = "iii" (* cannot clash *)
 
 fun str_for_type format ty =
   let