From fc850eb3ce11ca1232dc245aca9c2006c2b578c4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Fri, 21 Mar 2014 11:12:37 +0100
Subject: [PATCH] fix build
---
makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/makefile b/makefile
index 6ed822d36a..e4ea497f1e 100644
--- a/makefile
+++ b/makefile
@@ -10,7 +10,7 @@ SUBDIRS_BINS = acat \
adeterminize \
adiff adiff.automaton adiff.grammar \
aepsilon \
- atrim \
+ atrim.fsm \
anormalize \
aconversions \
aderivation aintegral \
--
GitLab