From 43e324f39d103c56d0668dd9723ad437c1bd4bbb Mon Sep 17 00:00:00 2001
From: Dario Cattaruzza <dario.cattaruzza@hotmail.com>
Date: Wed, 10 May 2017 09:47:28 +0100
Subject: [PATCH] Added new friend to bmc to handle refactoring

There are two versions of bmc_cover (one in the private, one in the public repo). This new class will minimize duplicate code by using a templated version instead
---
 src/cbmc/bmc.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/cbmc/bmc.h b/src/cbmc/bmc.h
index b81b2d94c38..e923711a47e 100644
--- a/src/cbmc/bmc.h
+++ b/src/cbmc/bmc.h
@@ -110,6 +110,8 @@ class bmct:public safety_checkert
 
   friend class bmc_all_propertiest;
   friend class bmc_covert;
+  template <template <class goalt> class covert>
+  friend class bmc_goal_covert;
   friend class fault_localizationt;
 };