search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
126 stars 73 forks source link

Jani builder: Fix referring to the wrong kind of automaton index #519

Closed tquatmann closed 2 months ago

tquatmann commented 2 months ago

This fixes a small error introduced in PR #507

volkm commented 2 months ago

👍