diff --git a/makefile b/makefile index 6ed822d36a1e7030d401acd647f3d27db36d7a87..e4ea497f1ed6ab729e0bdf14e9e92f42b9f35bbf 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 \