X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.icl;h=34703d23fa40e8e4c90081ad9c9a580986aac00c;hb=af388f6b2c06d38b400d482ac3ccc1f819b5bf9f;hp=f0249c9e5398abb8574269edfe5204b347068fcd;hpb=e25fda18ca554ec3fe937152403872b916367ddb;p=mTask.git

diff --git a/mTask.icl b/mTask.icl
index f0249c9..34703d2 100644
--- a/mTask.icl
+++ b/mTask.icl
@@ -84,7 +84,7 @@ instance typeSelector Char where typeSelector = c ".c"
 instance typeSelector Bool where typeSelector = c ".b"
 instance typeSelector a    where typeSelector = c ".w"
 
-read` :: Int (ReadWrite a) State -> (a,State) | dyn a
+read` :: Int (ReadWrite a) State` -> (a,State`) | dyn a
 read` n Rd       s = (fromJust (fromDyn (s.store !! n)), s)
 read` n (Wrt a)  s = (a,{s&store=updateAt n (toDyn a) s.store})
 read` n (Updt f) s=:{store}