summaryrefslogtreecommitdiff
path: root/gi/pf/pfdist.cc
diff options
context:
space:
mode:
authorChris Dyer <cdyer@cs.cmu.edu>2012-02-03 21:11:40 -0500
committerChris Dyer <cdyer@cs.cmu.edu>2012-02-03 21:11:40 -0500
commitd91750f35d4d7edfc77a589ae92100d523068ad7 (patch)
tree370a168f2dbc82b985c2676589f554fc4b261f34 /gi/pf/pfdist.cc
parent7da167c93ca2c10649cb0292fa2818ca8d5c76ff (diff)
fix broken build
Diffstat (limited to 'gi/pf/pfdist.cc')
-rw-r--r--gi/pf/pfdist.cc2
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"