ditto

diff --git a/developer/bash/Build b/developer/bash/Build
deleted file mode 100755 (executable)
index 2a18026..0000000
--- a/developer/bash/Build
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-java com.ReasoningTechnology."Ariadne".Build

diff --git a/developer/javac🖉/Ariadne_Graph.java b/developer/javac🖉/Ariadne_Graph.java
index 2d53437..059d235 100644 (file)
--- a/developer/javac🖉/Ariadne_Graph.java
+++ b/developer/javac🖉/Ariadne_Graph.java
@@ -27,7 +27,7 @@ public class Ariadne_Graph<LT extends Ariadne_Label>{
     throw new UnsupportedOperationException("Ariadne_Graph::lookup.");
   }
 
-  public Ariadne_Node lookup_edge(LT label ,LT label){
+  public Ariadne_Node lookup_edge(LT label0 ,LT label1){
     throw new UnsupportedOperationException("Ariadne_Graph::lookup.");
   }