kejun test push

sireum · Feb 27, 2025 · c5b9039 · c5b9039
1 parent efa4655
commit c5b9039
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/anvil/HwSynthesizer.scala b/shared/src/main/scala/org/sireum/anvil/HwSynthesizer.scala
@@ -42,5 +42,4 @@ import org.sireum.lang.tipe.{TypeChecker, TypeHierarchy}
     r = r + ISZ(name) ~> o.prettyST
     return r
   }
-
 }