Skip to content

Commit e14e6ed

Browse files
Rename getCurrentThreadID to getCurrentThreadId
1 parent 0be7b79 commit e14e6ed

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/main/java/org/cprover/CProver.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -265,10 +265,10 @@ public static void endThread(int id) {
265265
/**
266266
* This method is used by JBMC to return the ID of the executing thread.
267267
*/
268-
public static int getCurrentThreadID() {
268+
public static int getCurrentThreadId() {
269269
if (enableConcurrency) {
270270
throw new RuntimeException(
271-
"Cannot execute program with CProver.getCurrentThreadID()");
271+
"Cannot execute program with CProver.getCurrentThreadId()");
272272
}
273273
return 0;
274274
}

0 commit comments

Comments
 (0)