Fixed import Vector header (#19)

reilabs · Jul 28, 2023 · 933f97a · 933f97a
1 parent a439b70
commit 933f97a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extractor/lean_export.go b/extractor/lean_export.go
@@ -14,7 +14,7 @@ import (
 
 func ExportPrelude(circuit ExCircuit) string {
 	s := fmt.Sprintf(`import ProvenZk.Gates
-import ProvenZk.VectorExtensions
+import ProvenZk.Ext.Vector
 
 namespace %s