Fix "@p NULL" by "@p{Null}"

git-svn-id: https://svn.dealii.org/trunk@3070 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/deal.II/include/grid/tria.h b/deal.II/deal.II/include/grid/tria.h
index b3592e646e8c92843fae76a83ceff68736ff3e29..fe23a3ae53430df495cb1d0ee50dc1edcbf801c0 100644 (file)
--- a/deal.II/deal.II/include/grid/tria.h
+++ b/deal.II/deal.II/include/grid/tria.h
@@ -1141,7 +1141,7 @@ struct TriaNumberCache<3> : public TriaNumberCache<2>
  *   line, quad, etc. You can access these user pointers through the
  *   functions @p{user_pointer()}, @p{clear_user_pointer()} and
  *   @p{set_user_pointer(p)} in the accessor classes. These pointers are
- *   neither used nor changed by the library and are @p NULL by
+ *   neither used nor changed by the library and are @p{NULL} by
  *   default. Thus, their handling is the sole responsibility of the
  *   application program.  Especially, the pointers are not inherited
  *   to children upon refinement. Still, after a remeshing they are