delete outdated API module (#129)

runtimeverification · Aug 8, 2018 · 1d5c860 · 1d5c860
1 parent c14f5ff
commit 1d5c860
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 31 deletions.
diff --git a/API/pom.xml b/API/pom.xml
diff --git a/pom.xml b/pom.xml
@@ -17,7 +17,6 @@
     <module>kernel</module>
     <module>ktree</module>
     <module>k-distribution</module>
-    <module>API</module>
     <module>java-backend</module>
     <module>ocaml-backend</module>
   </modules>