Fix typo

idris-lang · Apr 8, 2017 · f0b776d · f0b776d
1 parent 7c54765
commit f0b776d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/effects/Effect/System.idr b/libs/effects/Effect/System.idr
@@ -17,7 +17,7 @@ data System : Effect where
      CSystem : String -> sig System Int
      Usleep : (i : Int) ->
               {auto prf : So (i >= fromInteger 0 && Delay (i <= fromInteger 1000000))} ->
-              sig Sleep ()
+              sig System ()
 
 implementation Handler System IO where
     handle () Args k = do x <- getArgs; k x ()