# HG changeset patch
# User berghofe
# Date 1086094794 -7200
# Node ID b4be6bdcbb94f530d4f140beed2fff36d0f295c5
# Parent  9fc1a5cf9b5a2f5d783ee6c0fc2a3a62428ff274
Adapted to new name mangling function.

diff -r 9fc1a5cf9b5a -r b4be6bdcbb94 src/HOL/Tools/inductive_codegen.ML
--- a/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:22 2004 +0200
+++ b/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:54 2004 +0200
@@ -563,8 +563,8 @@
 
 fun ?! s = is_some (Seq.pull s);    
 
-fun op__61__1 x = Seq.single x;
+fun op_61__1 x = Seq.single x;
 
-val op__61__2 = op__61__1;
+val op_61__2 = op_61__1;
 
-fun op__61__1_2 (x, y) = ?? (x = y);
+fun op_61__1_2 (x, y) = ?? (x = y);