Updated logika. [distro] · sireum/kekinian@c94661b

Commit

Updated logika. [distro]

Browse files

robby-phd committed Dec 2, 2024

1 parent 3884fb7 commit c94661b

+7 −2		shared/src/main/scala/org/sireum/logika/Logika.scala
+7 −8		shared/src/main/scala/org/sireum/logika/plugin/AutoPlugin.scala
+1 −1		shared/src/main/scala/org/sireum/logika/plugin/PredNatDedPlugin.scala
+2 −2		shared/src/main/scala/org/sireum/logika/plugin/PropNatDedPlugin.scala