From 6f02ace5e364dd61bfa53ee043a6f55a35853349 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 5 Feb 2016 14:32:31 +0100
Subject: [PATCH] Fixed documentation generation

---
 msat.odocl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/msat.odocl b/msat.odocl
index 6cf3a141..9ccb844e 100644
--- a/msat.odocl
+++ b/msat.odocl
@@ -1,6 +1,5 @@
 util/Log
 
-solver/Log_intf
 solver/Formula_intf
 solver/Theory_intf
 solver/Plugin_intf
@@ -8,6 +7,7 @@ solver/Expr_intf
 solver/Tseitin_intf
 solver/Res_intf
 solver/Solver_types_intf
+solver/Solver_intf
 
 solver/Internal
 solver/Solver