Rewriting system.

sireum · Feb 19, 2024 · 1d34bbf · 1d34bbf
1 parent c5ccc3f
commit 1d34bbf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/library/shared/src/main/scala/org/sireum/justification.scala b/library/shared/src/main/scala/org/sireum/justification.scala
@@ -57,6 +57,8 @@ object justification {
 
   @just def Rewrite(rs: RS, from: StepId): Unit = $
 
+  @just def Eval(from: StepId): Unit = $
+
   @just def Simpl: Unit = $
 
   object natded {