Fix documentation group for standard annotations. Fixes #417.

MiniZinc · Oct 20, 2020 · 1fd9ba8 · 1fd9ba8
1 parent 4987ccb
commit 1fd9ba8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/share/minizinc/std/stdlib/stdlib_ann.mzn b/share/minizinc/std/stdlib/stdlib_ann.mzn
@@ -1,5 +1,5 @@
 /***
- @groupdef annotations Annotations
+ @groupdef stdlib.annotations Annotations
 
  These annotations control evaluation and solving behaviour.
 */