Skip to content

Commit

Permalink
module renamed
Browse files Browse the repository at this point in the history
  • Loading branch information
josef-widder committed Nov 14, 2023
1 parent c7cec44 commit 5991bba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Specs/Quint/statemachineTest.qnt
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
traces.
*/

module statemachine {
module statemachineTest {

import executor.* from "./executor"
import consensus.* from "./consensus"
Expand Down

0 comments on commit 5991bba

Please sign in to comment.