A notational correction

simondfoster · simondfoster · commit 9640d3363531 · 2025-09-05T10:23:43.000+01:00
diff --git a/UTP/VCG/ITree_VCG.thy b/UTP/VCG/ITree_VCG.thy
@@ -5,7 +5,7 @@ theory ITree_VCG
   keywords "program" "procedure" :: "thy_decl_block"
 begin
 
-notation seq_itree (infixr ";" 54)
+notation kcomp_itree (infixr ";" 54)
 
 declare [[literal_variables]]
 
