From 713c71b2ed88193e4fce0993c8aa3236be95e3c8 Mon Sep 17 00:00:00 2001
From: Tobias Eidelpes <tobias@eidelpes.info>
Date: Tue, 21 Jun 2022 20:01:09 +0200
Subject: [PATCH] Add additional input parameter to 5c

---
 exam/ex.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/exam/ex.tex b/exam/ex.tex
index ac36f7b..c1e6686 100644
--- a/exam/ex.tex
+++ b/exam/ex.tex
@@ -297,8 +297,9 @@
       commitment phase takes the isomorphism $\psi$ and the graph $\mathcal{G}$
       as input and produces a commitment $\mathcal{G}'$. The opening phase takes
       an isomorphism $\mathsf{resp}$ and another graph
-      $\mathcal{G}_{\mathsf{ch}}$ isomorphic to $\mathcal{G}$ as input and
-      outputs $\top$ if the result matches $\mathcal{G}'$ and $\bot$ otherwise.
+      $\mathcal{G}_{\mathsf{ch}}$ isomorphic to $\mathcal{G}$ as well as the
+      original commitment as input and outputs $\top$ if the result matches
+      $\mathcal{G}'$ and $\bot$ otherwise.
 
     \item Computational binding: Suppose $\mathsf{Comm}(\psi,\mathcal{G}_0) =
       \mathsf{Comm}(\psi,\mathcal{G}_1)$. This means that $\psi(\mathcal{G}_0) =