diff options
author | Manoj Srivastava <srivasta@debian.org> | 2018-02-12 11:03:58 -0800 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2018-02-12 11:03:58 -0800 |
commit | 5f64e38979e363319990d837d0b4b5df82b71cca (patch) | |
tree | e9e60b658648d29136146d6021c3934d376a374c /src/nfa.c | |
parent | 8852aa3f8eefeee4da27de0553b1653253b15619 (diff) | |
parent | 04687c439c4e99abd0bc29506ceaa293a6330d9c (diff) |
Merge branch 'upstream'
Diffstat (limited to 'src/nfa.c')
-rw-r--r-- | src/nfa.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -499,6 +499,8 @@ int mkor (int first, int second) } } + firstst[first] = MIN(firstst[first], firstst[second]); + finalst[first] = orend; return first; } |