diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-02 23:51:01 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-02 23:51:01 +0000 |
| commit | 66463f48226051e8c7ecd5907eb278a7ee8345f0 (patch) | |
| tree | d1f7dae60146948a8b8e306597350227cd52d7b6 /src/main/java | |
| parent | 6ad809b7d353b9e92625a3ca9b552d3ebe8cf04d (diff) | |
Fix error message
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/errors/CannotResumeOutsideOfEffectHandlerMethodError.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/errors/CannotResumeOutsideOfEffectHandlerMethodError.java b/src/main/java/org/shedlang/compiler/typechecker/errors/CannotResumeOutsideOfEffectHandlerMethodError.java index 2fedb9c8..71881d9d 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/errors/CannotResumeOutsideOfEffectHandlerMethodError.java +++ b/src/main/java/org/shedlang/compiler/typechecker/errors/CannotResumeOutsideOfEffectHandlerMethodError.java @@ -5,6 +5,6 @@ import org.shedlang.compiler.sources.Source; public class CannotResumeOutsideOfEffectHandlerMethodError extends SourceError { public CannotResumeOutsideOfEffectHandlerMethodError(Source source) { - super("Cannot return outside of effect handler method", source); + super("Cannot resume outside of effect handler method", source); } } |