diff options
Diffstat (limited to 'src/generic/random.hpp')
| -rw-r--r-- | src/generic/random.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/generic/random.hpp b/src/generic/random.hpp index 45b5371..2fb2632 100644 --- a/src/generic/random.hpp +++ b/src/generic/random.hpp @@ -19,11 +19,11 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see <http://www.gnu.org/licenses/>. -# include "../sanity.hpp" +# include "fwd.hpp" # include "random.t.hpp" -# include "../sanity.hpp" +# include "fwd.hpp" # include <random> |