Remove broken Scaladoc links

apalache-mc · Jul 3, 2023 · dcebd33 · dcebd33
1 parent fddea31
commit dcebd33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla-io/src/main/scala/at/forsyte/apalache/io/quint/QuintTypeConverter.scala b/tla-io/src/main/scala/at/forsyte/apalache/io/quint/QuintTypeConverter.scala
@@ -137,7 +137,7 @@ private class QuintTypeConverter extends LazyLogging {
 }
 
 /**
- * Convert a [[QuintType]] to a [[TlaType1]].
+ * Convert a QuintType to a TlaType1.
  *
  * Constructs a fresh scope for translating Quint type variables to Apalache type variables (see
  * [[QuintTypeConverter.getVarNo()]] for details).