diff --git a/src/main/java/java/lang/Class.java b/src/main/java/java/lang/Class.java
index 290dcac..3359fea 100644
--- a/src/main/java/java/lang/Class.java
+++ b/src/main/java/java/lang/Class.java
@@ -426,6 +426,7 @@ private static boolean desiredAssertionStatus0(Class<?> clazz) {
     // avoid the time-consuming process of enumerating over the constant
     // dictionary's internal array, when generating the Class object non-
     // deterministically.
+    @org.cprover.MustNotThrow
     public void cproverInitializeClassLiteral(
             String name,
             boolean isAnnotation,