diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-09 18:16:41 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-09 18:16:41 +0200 |
| commit | cff5a0dfa89ab3a7f95512382cedf88f8e1709d1 (patch) | |
| tree | d6b49f3a49d623fdac1042b6de280886f587e5a1 /examples/impure-concept.milch | |
| parent | 0ec99f0ddba6084df7c78ff905849a9d3d0a3c5b (diff) | |
Fix purity issue
Diffstat (limited to 'examples/impure-concept.milch')
| -rw-r--r-- | examples/impure-concept.milch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/impure-concept.milch b/examples/impure-concept.milch index 0a9af05..bf4f63b 100644 --- a/examples/impure-concept.milch +++ b/examples/impure-concept.milch @@ -24,4 +24,4 @@ ; error: cannot call impure function in pure context ; when calling function g! at examples/impure-concept.milch:21:14 ; in a function definition at examples/impure-concept.milch:21:11 -; when calling function h at examples/impure-concept.milch:23:1
\ No newline at end of file +; when calling function h at examples/impure-concept.milch:23:1 |