1 files changed, 0 insertions, 13 deletions
diff --git a/odb/option-functions.hxx b/odb/option-functions.hxx
deleted file mode 100644
index 8a7f431..0000000
--- a/odb/option-functions.hxx
+++ /dev/null
@@ -1,13 +0,0 @@
-// file      : odb/option-functions.hxx
-// copyright : Copyright (c) 2009-2019 Code Synthesis Tools CC
-// license   : GNU GPL v3; see accompanying LICENSE file
-
-#ifndef ODB_OPTION_FUNCTIONS_HXX
-#define ODB_OPTION_FUNCTIONS_HXX
-
-#include <odb/options.hxx>
-
-void
-process_options (options&);
-
-#endif // ODB_OPTION_FUNCTIONS_HXX