minor change

UnitTestBot · Feb 9, 2023 · 20dbd32 · 20dbd32
1 parent 29bc308
commit 20dbd32
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ksmt-core/src/test/kotlin/org/ksmt/BvSimplifyTest.kt b/ksmt-core/src/test/kotlin/org/ksmt/BvSimplifyTest.kt
@@ -506,6 +506,6 @@ class BvSimplifyTest: ExpressionSimplifyTest() {
     )
 
     companion object {
-        val BV_SIZE = 77u
+        const val BV_SIZE = 77u
     }
 }