diff options
| author | Eduardo Julian | 2018-07-04 22:38:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-04 22:38:56 -0400 |
| commit | 376ed521cd92c2c53f2e9cc3cb16b85b67e2fdea (patch) | |
| tree | 338f244cf5e7b53dc43724c826285689481808b5 /new-luxc/source/luxc/repl.lux | |
| parent | 4bc58162f3d381abf33c936eafc976a2f422258c (diff) | |
- Re-named "degree" to "revolution".
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 a6579e939..2fb62a3b4 100644 --- a/new-luxc/source/luxc/repl.lux +++ b/new-luxc/source/luxc/repl.lux @@ -113,7 +113,7 @@ [Bool %b] [Nat %n] [Int %i] - [Deg %d] + [Rev %r] [Frac %f] [Text %t]))))) |