From 2992f9e3cfb94272a6e980db3055aa32b0c47d56 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Thu, 7 Feb 2013 20:54:59 +0000
Subject: [PATCH] Trivial

---
 packages/CLPBN/horus/Var.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/packages/CLPBN/horus/Var.h b/packages/CLPBN/horus/Var.h
index d082c6762..adfc42f9f 100644
--- a/packages/CLPBN/horus/Var.h
+++ b/packages/CLPBN/horus/Var.h
@@ -105,6 +105,5 @@ Var::operator!= (const Var& var) const
   return !(*this == var);
 }
 
-
 #endif // YAP_PACKAGES_CLPBN_HORUS_VAR_H_