diff options
Diffstat (limited to 'lib/automata.py')
| -rwxr-xr-x | lib/automata.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/automata.py b/lib/automata.py index 50cdcd0..1e47596 100755 --- a/lib/automata.py +++ b/lib/automata.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 """Classes and helper functions for PTA and other automata.""" from .functions import AnalyticFunction, NormalizationFunction |