fix compilation error

MinaProtocol · Oct 18, 2023 · af967a1 · af967a1
1 parent 016d2de
commit af967a1
Show file tree

Hide file tree

Showing 11 changed files with 13 additions and 6 deletions.
diff --git a/src/app/zkapp_test_transaction/lib/commands.ml b/src/app/zkapp_test_transaction/lib/commands.ml
@@ -68,7 +68,7 @@ let gen_proof ?(zkapp_account = None) (zkapp_command : Zkapp_command.t) =
             permissions =
               { Permissions.user_default with
                 edit_state = Proof
-              ; set_verification_key = Proof
+              ; set_verification_key = (Proof, Protocol_version.current)
               ; set_zkapp_uri = Proof
               ; set_token_symbol = Proof
               }

diff --git a/src/app/zkapp_test_transaction/lib/dune b/src/app/zkapp_test_transaction/lib/dune
@@ -17,6 +17,7 @@
    ppx_inline_test.config
    graphql-async
    ;;local libraries
+   protocol_version
    pickles
    kimchi_backend.pasta
    kimchi_backend.pasta.basic

diff --git a/src/app/zkapp_test_transaction/zkapp_test_transaction.ml b/src/app/zkapp_test_transaction/zkapp_test_transaction.ml
@@ -506,7 +506,9 @@ let update_permissions =
            ; access = Util.auth_of_string access
            ; set_permissions = Util.auth_of_string set_permissions
            ; set_delegate = Util.auth_of_string set_delegate
-           ; set_verification_key = Util.auth_of_string set_verification_key
+           ; set_verification_key =
+               ( Util.auth_of_string set_verification_key
+               , Protocol_version.current )
            ; set_zkapp_uri = Util.auth_of_string set_zkapp_uri
            ; edit_action_state = Util.auth_of_string edit_action_state
            ; set_token_symbol = Util.auth_of_string set_token_symbol

diff --git a/src/app/zkapps_examples/test/actions/actions.ml b/src/app/zkapps_examples/test/actions/actions.ml
@@ -54,7 +54,7 @@ let%test_module "Actions test" =
                   ; access = None
                   ; set_delegate = Proof
                   ; set_permissions = Proof
-                  ; set_verification_key = Proof
+                  ; set_verification_key = (Proof, Protocol_version.current)
                   ; set_zkapp_uri = Proof
                   ; edit_action_state = Proof
                   ; set_token_symbol = Proof

diff --git a/src/app/zkapps_examples/test/actions/dune b/src/app/zkapps_examples/test/actions/dune
@@ -9,6 +9,7 @@
   core_kernel
   ppx_inline_test.config
   ;; local libraries
+  protocol_version
   cache_dir
   consensus
   currency

diff --git a/src/app/zkapps_examples/test/add_events/add_events.ml b/src/app/zkapps_examples/test/add_events/add_events.ml
@@ -54,7 +54,7 @@ let%test_module "Add events test" =
                   ; access = None
                   ; set_delegate = Proof
                   ; set_permissions = Proof
-                  ; set_verification_key = Proof
+                  ; set_verification_key = (Proof, Protocol_version.current)
                   ; set_zkapp_uri = Proof
                   ; edit_action_state = Proof
                   ; set_token_symbol = Proof

diff --git a/src/app/zkapps_examples/test/add_events/dune b/src/app/zkapps_examples/test/add_events/dune
@@ -9,6 +9,7 @@
    core_kernel
    ppx_inline_test.config
    ;; local libraries
+   protocol_version
    cache_dir
    currency
    data_hash_lib

diff --git a/src/app/zkapps_examples/test/calls/calls.ml b/src/app/zkapps_examples/test/calls/calls.ml
@@ -116,7 +116,7 @@ let%test_module "Composability test" =
                   ; access = None
                   ; set_delegate = Proof
                   ; set_permissions = Proof
-                  ; set_verification_key = Proof
+                  ; set_verification_key = (Proof, Protocol_version.current)
                   ; set_zkapp_uri = Proof
                   ; edit_action_state = Proof
                   ; set_token_symbol = Proof

diff --git a/src/app/zkapps_examples/test/calls/dune b/src/app/zkapps_examples/test/calls/dune
@@ -11,6 +11,7 @@
    ppx_inline_test.config
    yojson
    ;; local libraries
+   protocol_version
    cache_dir
    currency
    data_hash_lib

diff --git a/src/app/zkapps_examples/test/initialize_state/dune b/src/app/zkapps_examples/test/initialize_state/dune
@@ -11,6 +11,7 @@
    ppx_inline_test.config
    yojson
    ;; local libraries
+   protocol_version
    cache_dir
    currency
    data_hash_lib

diff --git a/src/app/zkapps_examples/test/initialize_state/initialize_state.ml b/src/app/zkapps_examples/test/initialize_state/initialize_state.ml
@@ -65,7 +65,7 @@ let%test_module "Initialize state test" =
                   ; access = None
                   ; set_delegate = Proof
                   ; set_permissions = Proof
-                  ; set_verification_key = Proof
+                  ; set_verification_key = (Proof, Protocol_version.current)
                   ; set_zkapp_uri = Proof
                   ; edit_action_state = Proof
                   ; set_token_symbol = Proof