1 files changed, 0 insertions, 71 deletions
diff --git a/src/SpecificGen/GF41417_32Reflective/Reified/AddDisplay.log b/src/SpecificGen/GF41417_32Reflective/Reified/AddDisplay.log
deleted file mode 100644
index 49066ae98..000000000
--- a/src/SpecificGen/GF41417_32Reflective/Reified/AddDisplay.log
+++ /dev/null
@@ -1,71 +0,0 @@
-raddW = 
-fun var : Syntax.base_type -> Type =>
-λ
-x x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20
- x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 : 
- var Syntax.TZ,
-Tbase Syntax.TZ x35 = x + x17;
-Tbase Syntax.TZ x36 = x0 + x18;
-Tbase Syntax.TZ x37 = x1 + x19;
-Tbase Syntax.TZ x38 = x2 + x20;
-Tbase Syntax.TZ x39 = x3 + x21;
-Tbase Syntax.TZ x40 = x4 + x22;
-Tbase Syntax.TZ x41 = x5 + x23;
-Tbase Syntax.TZ x42 = x6 + x24;
-Tbase Syntax.TZ x43 = x7 + x25;
-Tbase Syntax.TZ x44 = x8 + x26;
-Tbase Syntax.TZ x45 = x9 + x27;
-Tbase Syntax.TZ x46 = x10 + x28;
-Tbase Syntax.TZ x47 = x11 + x29;
-Tbase Syntax.TZ x48 = x12 + x30;
-Tbase Syntax.TZ x49 = x13 + x31;
-Tbase Syntax.TZ x50 = x14 + x32;
-Tbase Syntax.TZ x51 = x15 + x33;
-Tbase Syntax.TZ x52 = x16 + x34;
-(Return x35, Return x36, Return x37, Return x38, Return x39, 
-Return x40, Return x41, Return x42, Return x43, Return x44, 
-Return x45, Return x46, Return x47, Return x48, Return x49, 
-Return x50, Return x51, Return x52)
-     : forall var : Syntax.base_type -> Type,
-       expr Syntax.base_type Syntax.op
-         (Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          Syntax.TZ ->
-          ... * ... * Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ *
-          Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase Syntax.TZ *
-          Tbase Syntax.TZ)
-
-Argument scope is [function_scope]