mod to allow jitpack retrigger

sireum · Jan 6, 2025 · 48601e9 · 48601e9
1 parent 5c304c1
commit 48601e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/jvm/src/main/scala/org/sireum/forms/HAMRUtil.scala b/app/jvm/src/main/scala/org/sireum/forms/HAMRUtil.scala
@@ -4,7 +4,7 @@ import org.sireum.Cli
 import org.sireum._
 
 object HAMRUtil {
-
+ 
 
 // BEGIN build option store
   def decasePlatform(e: Cli.SireumHamrSysmlCodegenHamrPlatform.Type): Predef.String = {