Re-adding the blockchain plugin

Pi-Squared-Inc · Oct 25, 2024 · ace93b4 · ace93b4
1 parent 983a3ba
commit ace93b4
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,4 @@
 .build
 .DS_store
-blockchain-k-plugin
 tmp
 tmp.*
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "blockchain-k-plugin"]
 	path = deps/blockchain-k-plugin
-	url = https://github.com/runtimeverification/blockchain-k-plugin
+	url = https://github.com/runtimeverification/blockchain-k-plugin
diff --git a/deps/blockchain-k-plugin b/deps/blockchain-k-plugin