Remove broken Scaladoc links

apalache-mc · Jul 3, 2023 · cdba2a7 · cdba2a7
1 parent fddea31
commit cdba2a7
Showing 1 changed file with 2 additions and 2 deletions.
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,10 +137,10 @@ 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).
+ * QuintTypeConverter.getVarNo() for details).
  */
 object QuintTypeConverter {
   def apply(quintType: QuintType): TlaType1 = new QuintTypeConverter().convert(quintType)