diff options
Diffstat (limited to 'gi/pf/pfdist.cc')
-rw-r--r-- | gi/pf/pfdist.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gi/pf/pfdist.cc b/gi/pf/pfdist.cc index aae5f798..ef08a165 100644 --- a/gi/pf/pfdist.cc +++ b/gi/pf/pfdist.cc @@ -7,7 +7,7 @@ #include <boost/program_options/variables_map.hpp> #include "pf.h" -#include "base_measures.h" +#include "base_distributions.h" #include "reachability.h" #include "viterbi.h" #include "hg.h" |