diff --git a/Examples/DynamicEditor/DynEditorExample.icl b/Examples/DynamicEditor/DynEditorExample.icl index b96db94dc4e56e97e50f26a201b94424d3a3ed77..1f5bd5dfe0017a53f8199c96052b92df23ffb80c 100644 --- a/Examples/DynamicEditor/DynEditorExample.icl +++ b/Examples/DynamicEditor/DynEditorExample.icl @@ -155,7 +155,7 @@ where -> Typed TaskContExpr (a -> Task b) ) <<@@@ HideIfOnlyChoice - <<@@@ AddLabels [Just "name", Just "pred", Just "cont"] + <<@@@ AddLabels [Just "name", Just "predicate", Just "continuation"] ] , DynamicConsGroup "Editors" [ functionConsDyn "Apply" "apply"