src/core/random-variable.h
changeset 2217 0b4567d545de
parent 1872 4dfb2a623722
child 2336 28ce210b91bb
--- a/src/core/random-variable.h	Fri Jan 11 08:31:38 2008 -0800
+++ b/src/core/random-variable.h	Thu Jan 10 07:31:40 2008 -0800
@@ -26,6 +26,7 @@
 #include <stdint.h>
 
 /**
+ * \ingroup core
  * \defgroup randomvariable Random Variable Distributions
  *
  */