diff --git a/oop-lib/src/jvmMain/kotlin/it/unibo/tuprolog/solve/libs/oop/TypeUtilsJvm.kt b/oop-lib/src/jvmMain/kotlin/it/unibo/tuprolog/solve/libs/oop/TypeUtilsJvm.kt
index be11dc674..060533764 100644
--- a/oop-lib/src/jvmMain/kotlin/it/unibo/tuprolog/solve/libs/oop/TypeUtilsJvm.kt
+++ b/oop-lib/src/jvmMain/kotlin/it/unibo/tuprolog/solve/libs/oop/TypeUtilsJvm.kt
@@ -119,7 +119,7 @@ actual val KCallable<*>.formalParameterTypes: List<KClass<*>>
         }
 
 actual val KClass<*>.fullName: String
-    get() = qualifiedName ?: error("Reflection issue: cannot get qualified name of $this")
+    get() = qualifiedName ?: jvmName
 
 actual val KClass<*>.name: String
     get() = simpleName ?: error("Reflection issue: cannot get name of $this")