From e5c11f5d18f61736c50985ddf00848c03864291e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 15 Mar 2016 10:04:28 +0100
Subject: [PATCH] fix filename

---
 examples/{joining_extistentials.v => joining_existentials.v} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename examples/{joining_extistentials.v => joining_existentials.v} (100%)

diff --git a/examples/joining_extistentials.v b/examples/joining_existentials.v
similarity index 100%
rename from examples/joining_extistentials.v
rename to examples/joining_existentials.v
-- 
GitLab