Fixed imports

reilabs · Nov 15, 2023 · 89c96ee · 89c96ee
1 parent 87915b4
commit 89c96ee
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ProvenZk.lean b/ProvenZk.lean
@@ -8,3 +8,4 @@ import ProvenZk.Ext.Matrix
 import ProvenZk.Ext.List
 import ProvenZk.Ext.Fin
 import ProvenZk.Subvector
+import ProvenZk.Misc