Skip to content

Commit

Permalink
Update Project.toml
Browse files Browse the repository at this point in the history
  • Loading branch information
mforets authored May 13, 2022
1 parent 6bb4768 commit bcb184a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name = "ReachabilityAnalysis"
uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
version = "0.18.0"
version = "0.18.1"

[deps]
CarlemanLinearization = "4803f6b2-022a-4c1b-a771-522a3413ec86"
Expand Down

0 comments on commit bcb184a

Please sign in to comment.