Skip to content

Commit

Permalink
update for docs
Browse files Browse the repository at this point in the history
  • Loading branch information
danbryce committed Oct 27, 2023
1 parent a117399 commit 089d102
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 1 deletion.
2 changes: 1 addition & 1 deletion docs/source/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
# https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information

project = "funman"
copyright = "2022, SIFT"
copyright = "2023, SIFT"
author = "SIFT"

from funman import __version__
Expand Down
1 change: 1 addition & 0 deletions src/funman/model/generated_models/petrinet.py
Original file line number Diff line number Diff line change
Expand Up @@ -168,3 +168,4 @@ class TypingSemantics(BaseModel):


Semantics.model_rebuild()
Model.model_rebuild()
2 changes: 2 additions & 0 deletions src/funman/translate/regnet.py
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
from typing import Set

from pysmt.formula import FNode
from pysmt.shortcuts import REAL, TRUE, And, Equals, Plus, Real, Symbol, Times

Expand Down

0 comments on commit 089d102

Please sign in to comment.