fixed parse error

usethesource · Nov 7, 2024 · 1d8e9ee · 1d8e9ee
1 parent f3d40a2
commit 1d8e9ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/library/List.rsc b/src/org/rascalmpl/library/List.rsc
@@ -96,7 +96,7 @@ dup([3, 1, 5, 3, 1, 7, 1, 2]);
 list[&T] dup(list[&T] lst) 
   = ([] | (ix in it) ? it : it + [ix] | &T ix <- lst);
 
-@deprecated Use a list index instead}
+@deprecated{Use a list index instead}
 @javaClass{org.rascalmpl.library.Prelude}
 java &T elementAt(list[&T] lst, int index);