1 files changed, 0 insertions, 45 deletions
diff --git a/src/SpecificGen/GF25519_32Reflective/Reified/AddJavaDisplay.log b/src/SpecificGen/GF25519_32Reflective/Reified/AddJavaDisplay.log
deleted file mode 100644
index 156f0286e..000000000
--- a/src/SpecificGen/GF25519_32Reflective/Reified/AddJavaDisplay.log
+++ /dev/null
@@ -1,45 +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 : var Syntax.TZ,
-Tbase Syntax.TZ x19 = x + x9;
-Tbase Syntax.TZ x20 = x0 + x10;
-Tbase Syntax.TZ x21 = x1 + x11;
-Tbase Syntax.TZ x22 = x2 + x12;
-Tbase Syntax.TZ x23 = x3 + x13;
-Tbase Syntax.TZ x24 = x4 + x14;
-Tbase Syntax.TZ x25 = x5 + x15;
-Tbase Syntax.TZ x26 = x6 + x16;
-Tbase Syntax.TZ x27 = x7 + x17;
-Tbase Syntax.TZ x28 = x8 + x18;
-(Return x19, Return x20, Return x21, Return x22, Return x23, 
-Return x24, Return x25, Return x26, Return x27, Return x28)
-     : 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 ->
-          Tbase Syntax.TZ * Tbase Syntax.TZ * Tbase 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]