# HG changeset patch
# User Rik <rik@octave.org>
# Date 1452994984 28800
# Node ID 8fbd30e3f2e96113bc74ecb4e46df651c562fe3c
# Parent  83ce7b8fb91cc865a53c7ac9adec1d8c6b3bcf3b
file-editor-tab.h: #include "ovl.h" for access to octave_value_list.

* file-editor-tab.h: #include "ovl.h" for access to octave_value_list.

diff -r 83ce7b8fb91c -r 8fbd30e3f2e9 libgui/src/m-editor/file-editor-tab.h
--- a/libgui/src/m-editor/file-editor-tab.h	Sat Jan 16 16:50:03 2016 -0800
+++ b/libgui/src/m-editor/file-editor-tab.h	Sat Jan 16 17:43:04 2016 -0800
@@ -37,7 +37,7 @@
 // Only needed for octave_value_list type.
 #ifdef HAVE_CONFIG_H
 #include <config.h>
-#include "ov.h"
+#include "ovl.h"
 #endif
 
 #include "find-dialog.h"