From 38cdb57fc98f7c3f5f00fcb211ef87c90cfc256f Mon Sep 17 00:00:00 2001
From: Matthias Meijers <research@mmeijers.com>
Date: Wed, 8 Jan 2025 15:37:20 +0100
Subject: [PATCH] Revert accidental edits in PKE theory.

---
 proofs/PublicKeyEncryption.eca | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/proofs/PublicKeyEncryption.eca b/proofs/PublicKeyEncryption.eca
index 759ea12..a3b5fbb 100644
--- 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;