diff options
Diffstat (limited to 'src/patch/patch_system.cc')
-rw-r--r-- | src/patch/patch_system.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/patch/patch_system.cc b/src/patch/patch_system.cc index 52aa7e9..478d510 100644 --- a/src/patch/patch_system.cc +++ b/src/patch/patch_system.cc @@ -47,7 +47,7 @@ using jtutil::error_exit; #include "patch.hh" #include "patch_edge.hh" #include "ghost_zone.hh" -#include "patch_frontier.hh" +#include "patch_interp.hh" #include "patch_system.hh" #include "patch_system_info.hh" |