diff --git a/.gitmodules b/.gitmodules
index 01a8c1b141..3a409a09fe 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -546,6 +546,10 @@
 	path = libs/callable_traits
 	url = ../callable_traits.git
 	fetchRecurseSubmodules = on-demand
+[submodule "contract"]
+	path = libs/contract
+	url = ../contract.git
+	fetchRecurseSubmodules = on-demand
 [submodule "check_build"]
 	path = tools/check_build
 	url = ../check_build.git
diff --git a/libs/contract b/libs/contract
new file mode 160000
index 0000000000..f607e7a53f
--- /dev/null
+++ b/libs/contract
@@ -0,0 +1 @@
+Subproject commit f607e7a53faaaa108bb95f65b0b06dd1ec1ffbd7