diff options
| author | Eduardo Julian | 2018-01-08 21:40:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-01-08 21:40:06 -0400 |
| commit | 9eaaaf953ba7ce1eeb805603f4e113aa15f5178f (patch) | |
| tree | ef134eecc8a5767a997fce0637cd64e0ebcee6b1 /new-luxc/source/luxc/repl.lux | |
| parent | f523bc14d43286348aeb200bd0554812dc6ef28d (diff) | |
- Moved all translation code under the JVM path (in preparation for porting the JS back-end).
Diffstat (limited to 'new-luxc/source/luxc/repl.lux')
| -rw-r--r-- | new-luxc/source/luxc/repl.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/repl.lux b/new-luxc/source/luxc/repl.lux index 717462f22..16f4de5db 100644 --- a/new-luxc/source/luxc/repl.lux +++ b/new-luxc/source/luxc/repl.lux @@ -34,7 +34,7 @@ [".L" host] [".L" translation] [".L" eval] - (translation [".T" runtime]) + (translation (jvm [".T" runtime])) [".L" extension] (extension [".E" analysis] [".E" synthesis] |