From 0d24dcf13797261cc517db6534c178fdbd725fbc Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 13 Oct 2015 14:27:16 +0200 Subject: [PATCH] Fixes bug in parser --- lib/read_mealy.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/read_mealy.cpp b/lib/read_mealy.cpp index f4cc1c4..c19429e 100644 --- a/lib/read_mealy.cpp +++ b/lib/read_mealy.cpp @@ -44,7 +44,7 @@ mealy read_mealy_from_txt(std::istream & in) { v.resize(max_input); v[i] = mealy::edge(to, o); - assert(defined(m, to, i)); + assert(defined(m, from, i)); } m.graph_size = max_state;