implements CR suggestion by Joao

Co-authored-by: João Pereira <joaopereira.19@gmail.com>
viperproject · Jan 22, 2025 · d72d29a · d72d29a
1 parent 182ac1d
commit d72d29a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/frontend/Source.scala b/src/main/scala/viper/gobra/frontend/Source.scala
@@ -78,7 +78,7 @@ object Source {
 
   /**
     * Forcefully tries to create a package info or throws an runtime exception.
-    * Only use for unit tests
+    * Only used for unit tests
     */
   def getPackageInfoOrCrash(src: Source, projectRoot: Path): PackageInfo = {
     Source.getPackageInfo(src, projectRoot).fold(