From 092c811ff2233f12fbca0527096cf29d36c46daf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Sun, 23 Mar 2014 11:26:56 +0100
Subject: [PATCH] Fix build in adeterminize

---
 adeterminize/src/Determinizer.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 adeterminize/src/Determinizer.cpp

diff --git a/adeterminize/src/Determinizer.cpp b/adeterminize/src/Determinizer.cpp
new file mode 100644
index 0000000000..1dcb7841eb
--- /dev/null
+++ b/adeterminize/src/Determinizer.cpp
@@ -0,0 +1,10 @@
+#include "Determinizer.h"
+
+namespace determinization {
+
+Determinizer::~Determinizer( void )
+{
+
+}
+
+}
-- 
GitLab