# HG changeset patch
# User blanchet
# Date 1392190648 -3600
# Node ID 9f25e0cca2547ac956421d4238a3af8199a0e8d3
# Parent  01fbfb60c33e6b63cade9010a792492f46d2fda2
adapted to renaming of 'Projl' and 'Projr'

diff -r 01fbfb60c33e -r 9f25e0cca254 src/Doc/Codegen/Evaluation.thy
--- a/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:06 2014 +0100
+++ b/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:28 2014 +0100
@@ -296,7 +296,7 @@
 
 code_reflect %quote Sum_Type
   datatypes sum = Inl | Inr
-  functions "Sum_Type.Projl" "Sum_Type.Projr"
+  functions "Sum_Type.sum.projl" "Sum_Type.sum.projr"
 
 text {*
   \noindent @{command_def code_reflect} takes a structure name and