From d65818cb2202cee05503c919f86dba8fee19cf71 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 11 Jul 2014 19:04:54 +0200
Subject: [PATCH] Header files for missing automata types

---
 alib2/src/automaton/Counter/OneCounter.h | 0
 alib2/src/automaton/Counter/TwoCounter.h | 0
 alib2/src/automaton/TA/TreeAutomaton.h   | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 alib2/src/automaton/Counter/OneCounter.h
 create mode 100644 alib2/src/automaton/Counter/TwoCounter.h
 create mode 100644 alib2/src/automaton/TA/TreeAutomaton.h

diff --git a/alib2/src/automaton/Counter/OneCounter.h b/alib2/src/automaton/Counter/OneCounter.h
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/alib2/src/automaton/Counter/TwoCounter.h b/alib2/src/automaton/Counter/TwoCounter.h
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/alib2/src/automaton/TA/TreeAutomaton.h b/alib2/src/automaton/TA/TreeAutomaton.h
new file mode 100644
index 0000000000..e69de29bb2
-- 
GitLab