Added cs.exe to Windows distro.

sireum · Mar 29, 2024 · fa93cf8 · fa93cf8
1 parent 52c25d2
commit fa93cf8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -647,6 +647,7 @@ import Init._
         ISZ("bin", "win", "z3"),
         ISZ("bin", "win", "7za.exe"),
         ISZ("bin", "win", "cvc.exe"),
+        ISZ("bin", "win", "cs.exe"),
         ISZ("bin", "install", "antlrworks.cmd"),
         ISZ("bin", "install", "clion.cmd"),
         ISZ("bin", "install", "fmide.cmd"),