5485 - promote SubX to top-level

1 files changed, 0 insertions, 14 deletions

diff --git a/arc/.traces/le-literal-true b/arc/.traces/le-literal-true
deleted file mode 100644
index c8682ca1..00000000
--- a/arc/.traces/le-literal-true
+++ /dev/null
@@ -1,14 +0,0 @@
-c{0: 0 (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((4 literal))) -- nil
-c{1: 0 ✓ (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((4 literal)))
-cn0: convert-names in main
-cn0: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((4 literal))) nil nil
-cn0: checking arg ((4 literal))
-cn0: checking arg ((4 literal))
-cn0: checking oarg ((1 boolean))
-maybe-add: ((1 boolean))
-cn1: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((4 literal)))
-schedule: main
-run: main 0: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((4 literal)))
-run: main 0: t => ((1 boolean))
-mem: ((1 boolean)): 1 <= t
-schedule: done with routine nil