From c0f020c53717bc6dd694097585a364e2b0c5bf52 Mon Sep 17 00:00:00 2001
From: Carl Corea <ccorea@uni-koblenz.de>
Date: Tue, 4 Jun 2019 16:38:04 +0200
Subject: [PATCH] Update MultiTablePartialReductionVerifier.java

-- 
GitLab