Add missing <Proc> effect to UI/Progress/isCanceled

gitlab #667

Change-Id: I86d614fc75ac19ccd457f7bdd3ca0b53b3e73b1a

diff --git a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl
index 3805e163f4111dc7de09685a0f313aab5de61752..dfdcad96fcd52dfb421f37370620be0cf53f2bd4 100644 (file)
--- a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl
+++ b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl
@@ -4,7 +4,7 @@ importJava "org.eclipse.core.runtime.IProgressMonitor" where
     beginTask :: ProgressMonitor -> String -> Integer -> <Proc> ()
     worked :: ProgressMonitor -> Integer -> <Proc> ()    
     done :: ProgressMonitor -> <Proc> ()
-    isCanceled :: ProgressMonitor -> Boolean
+    isCanceled :: ProgressMonitor -> <Proc> Boolean
     setCanceled :: ProgressMonitor -> Boolean -> <Proc> ()
     subTask :: ProgressMonitor -> String -> <Proc> ()