diff --git a/.gitignore b/.gitignore
index f4bbed0..0b667e7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
 .build
 .DS_store
-blockchain-k-plugin
 tmp
 tmp.*
diff --git a/.gitmodules b/.gitmodules
index 3558764..aeb6745 100644
--- 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
\ No newline at end of file
diff --git a/deps/blockchain-k-plugin b/deps/blockchain-k-plugin
new file mode 160000
index 0000000..a6b4c7d
--- /dev/null
+++ b/deps/blockchain-k-plugin
@@ -0,0 +1 @@
+Subproject commit a6b4c7d851afd9e2729901b515c6e699464611d7