Revert accidental edits in PKE theory.

sandbox-quantum · Jan 8, 2025 · 38cdb57 · 38cdb57
1 parent 8b945db
commit 38cdb57
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/proofs/PublicKeyEncryption.eca b/proofs/PublicKeyEncryption.eca
@@ -1479,7 +1479,7 @@ module OW_PCA (S : Scheme) (O : Oracles_PCi) (A : Adv_OWPCA) = {
 }.
 
 (** OW-PCA (final check performed with oracle) security game **)
-module OW_PCA_O (S : Scheme, O : Oracles_PCi, A : Adv_OWPCA) = {
+module OW_PCA_O (S : Scheme) (O : Oracles_PCi) (A : Adv_OWPCA) = {
   proc main() = {
     var pk : pk_t;
     var sk : sk_t;
@@ -1534,7 +1534,7 @@ module OW_VCA (S : Scheme) (OCV : Oracles_CVi) (A : Adv_OWVCA) = {
 }.
 
 (** OW-VCA (final check performed with oracle) security game **)
-module OW_VCA_O (S : Scheme, OPC : Oracles_PCi, OCV : Oracles_CVi, A : Adv_OWVCA) = {
+module OW_VCA_O (S : Scheme) (OPC : Oracles_PCi) (OCV : Oracles_CVi) (A : Adv_OWVCA) = {
   proc main() = {
     var pk : pk_t;
     var sk : sk_t;
@@ -1591,7 +1591,7 @@ module OW_PVCA (S : Scheme) (OPC : Oracles_PCi) (OCV : Oracles_CVi) (A : Adv_OWP
 }.
 
 (** OW-PVCA (final check performed with oracle) security game **)
-module OW_PVCA_O (S : Scheme, OPC : Oracles_PCi, OCV : Oracles_CVi, A : Adv_OWPVCA) = {
+module OW_PVCA_O (S : Scheme, OPC : Oracles_PCi) (OCV : Oracles_CVi) (A : Adv_OWPVCA) = {
   proc main() = {
     var pk : pk_t;
     var sk : sk_t;