From 5d65cc3100e870ede31a15258e7cb4de1216d5f8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 17 May 2017 20:21:20 +0200
Subject: [PATCH] Added missing include directive.

---
 lib/pddlparse/include/pddlparse/Variant.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/pddlparse/include/pddlparse/Variant.h b/lib/pddlparse/include/pddlparse/Variant.h
index 6482187..879e9c3 100644
--- a/lib/pddlparse/include/pddlparse/Variant.h
+++ b/lib/pddlparse/include/pddlparse/Variant.h
@@ -1,6 +1,7 @@
 #ifndef __PDDL_PARSE__VARIANT_H
 #define __PDDL_PARSE__VARIANT_H
 
+#include <cassert>
 #include <memory>
 #include <ostream>
 #include <type_traits>