Skip to content

Commit 1885042

Browse files
jeannielynnmoultonjeannielynnmoulton
committed
Update module name.
Was incorrectly copied as java_types, and should be java_static_initializers.
1 parent 782627e commit 1885042

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎jbmc/unit/java_bytecode/java_static_initializers/java_static_initializers.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
/*******************************************************************\
22
3-
Module: Unit tests for java_types
3+
Module: Unit tests for java_static_initializers
44
55
Author: Diffblue Ltd.
66

0 commit comments

Comments
 (0)