Fixed bug in pom file related to modules
This commit is contained in:
parent
5b661bce28
commit
412fd2d87e
1 changed files with 1 additions and 1 deletions
2
pom.xml
2
pom.xml
|
|
@ -33,7 +33,7 @@
|
|||
<module>dataModels</module>
|
||||
<module>conversion</module>
|
||||
<module>analysis</module>
|
||||
<module>frontend</module>
|
||||
<module>gui</module>
|
||||
<module>synthesis</module>
|
||||
<module>learn</module>
|
||||
<module>verification</module>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue