From 0dde43edac6817c3f0a237d25c2054c0ee75926c Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Mon, 23 Feb 2015 19:03:16 +0100
Subject: Added binary incrementer state table to Turing machine example *
 reintroduced `BLANK` as the _BLANK_ symbol * fixed implicit tape expansion in
 `tape::readSymbol`

---
 example/turing/src/state.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'example/turing/src/state.h')

diff --git a/example/turing/src/state.h b/example/turing/src/state.h
index 51fe347..fa3306b 100644
--- a/example/turing/src/state.h
+++ b/example/turing/src/state.h
@@ -42,8 +42,8 @@ template <
 struct state_predicate {
 	template <typename State>
 	using function = tav::And<
-		tav::IsEqualValue<Id,   tav::Nth<field::ID,   State>>,
-		tav::IsEqualValue<Read, tav::Nth<field::READ, State>>
+		tav::IsEqual<Id,   tav::Nth<field::ID,   State>>,
+		tav::IsEqual<Read, tav::Nth<field::READ, State>>
 	>;
 };
 
-- 
cgit v1.2.3