Unpin cljstyle

Issue fixed upstream
py2many · Jan 10, 2024 · d8c9590 · d8c9590
1 parent 6c89dd1
commit d8c9590
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 4 deletions.
diff --git a/pysmt/__init__.py b/pysmt/__init__.py
@@ -15,7 +15,9 @@ def settings(args, env=os.environ):
             "jgo",
             "--repository",
             "clojars.org=https://repo.clojars.org",
-            "mvxcvi:cljstyle:0.15.1",
+            "mvxcvi:cljstyle:RELEASE:clojure.main",
+            "-m",
+            "cljstyle.main",
             "fix",
         ],
         None,

diff --git a/tests/dir_cases/test1-smt-expected/bar.smt b/tests/dir_cases/test1-smt-expected/bar.smt
@@ -1,4 +1,3 @@
 
 (define-fun bar1 ()  Int
   return 0)
-
diff --git a/tests/dir_cases/test1-smt-expected/baz.smt b/tests/dir_cases/test1-smt-expected/baz.smt
@@ -1,4 +1,3 @@
 
 (define-fun baz1 ()  string
   return "foo")
-
diff --git a/tests/dir_cases/test1-smt-expected/foo.smt b/tests/dir_cases/test1-smt-expected/foo.smt
@@ -7,4 +7,3 @@ from baz import baz1
   (let (y (baz1)))
   (assert (= x 0))
   (assert (= y "foo")))
-