src/HOL/HOLCF/Cfun.thy

--- a/src/HOL/HOLCF/Cfun.thy	Tue Mar 22 17:51:15 2011 +0100
+++ b/src/HOL/HOLCF/Cfun.thy	Tue Mar 22 18:03:28 2011 +0100
@@ -30,6 +30,8 @@
 
 subsection {* Syntax for continuous lambda abstraction *}
 
+declare [[syntax_positions = false]]  (* FIXME pattern translations choke on position constraints *)
+
 syntax "_cabs" :: "[logic, logic] \<Rightarrow> logic"
 
 parse_translation {*