diff options
author | Eduardo Julian | 2018-07-03 18:13:55 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-03 18:13:55 -0400 |
commit | e828bada4bea51931b0c555a98bc5cd677d52e79 (patch) | |
tree | c4e245c2e0b7d04495fa7322a656a57f7eb3423b /new-luxc/source | |
parent | b7b0dd9bd952ede4710da157b40304d714229e04 (diff) |
- Re-named ":!!" to ":assume".
Diffstat (limited to 'new-luxc/source')
-rw-r--r-- | new-luxc/source/luxc/lang/host.jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/host.jvm.lux b/new-luxc/source/luxc/lang/host.jvm.lux index ba617aa42..9a959bb48 100644 --- a/new-luxc/source/luxc/lang/host.jvm.lux +++ b/new-luxc/source/luxc/lang/host.jvm.lux @@ -74,7 +74,7 @@ (#.Some bytecode) (case (define-class class-name bytecode (:! ClassLoader _jvm_this)) (#e.Success class) - (:!! class) + (:assume class) (#e.Error error) (error! (format "Class definition error: " class-name "\n" |