diff options
author | Phil Williams <philip.williams@mac.com> | 2012-05-25 20:24:08 +0400 |
---|---|---|
committer | Phil Williams <philip.williams@mac.com> | 2012-05-25 20:24:08 +0400 |
commit | 2fab137aaeeda8077734e4c6e5627bfb44d27691 (patch) | |
tree | 4533de183ec226530dcc6329baebcc00f5b8a917 /OnDiskPt | |
parent | b8cf0deb65a033deff3816ae530bbc998813cb61 (diff) |
Fix compile error.
Diffstat (limited to 'OnDiskPt')
-rw-r--r-- | OnDiskPt/queryOnDiskPt.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/OnDiskPt/queryOnDiskPt.cpp b/OnDiskPt/queryOnDiskPt.cpp index f7435649a..9a2d97680 100644 --- a/OnDiskPt/queryOnDiskPt.cpp +++ b/OnDiskPt/queryOnDiskPt.cpp @@ -6,7 +6,7 @@ #include <string> #include <vector> -#include "util.h" +#include "Util.h" #include "OnDiskWrapper.h" #include "SourcePhrase.h" |