From 831925ed328433a88bb2d36a122b098b97af9a58 Mon Sep 17 00:00:00 2001
From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Thu, 14 Jan 2021 10:03:51 +0200
Subject: [PATCH] Add missing <Proc> effect to UI/Progress/isCanceled

gitlab #667

Change-Id: I86d614fc75ac19ccd457f7bdd3ca0b53b3e73b1a
---
 bundles/org.simantics.scl.osgi/scl/UI/Progress.scl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl b/bundles/org.simantics.scl.osgi/scl/UI/Progress.scl
index 3805e163f..dfdcad96f 100644
--- 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> ()
 
-- 
2.47.1