From a0f380dad2d85061abccfd9696c1795d205ddf86 Mon Sep 17 00:00:00 2001
From: "Victor \"multun\" Collod" <victor.collod@epita.fr>
Date: Mon, 9 Jul 2018 21:12:33 +0200
Subject: [PATCH] auto: ensure the target transition type is expected

---
 auto.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/auto.hh b/auto.hh
index 4b238e9..63f5a59 100644
--- a/auto.hh
+++ b/auto.hh
@@ -37,7 +37,7 @@ class Auto {
         auto enter(Args&& ...args) {
             // TODO: move this assert at class construction time
             static_assert(std::is_base_of<intf_t, State<self_t>>::value);
-            // static_assert(map_pack_contains<self_t, State, States...>());
+            static_assert(tlist::template contains<State<self_t>>());
             return new (&state_data_) State<self_t>(std::forward(args)...);
         }