diff --git a/tutorials/proof/event.par b/tutorials/proof/event.par
index b298596f9fe0ff1bdc2ee19d41a04f7a643672b6..b004e593171d6ad9b503448be4f2d430884d7508 100644
Binary files a/tutorials/proof/event.par and b/tutorials/proof/event.par differ