From 8d56b32de2cd35b0b5b3ff0846a7de00e4f60fb9 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 5 Jul 2011 19:02:01 +0200
Subject: [PATCH] lexmin.cc: add missing return

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 lexmin.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lexmin.cc b/lexmin.cc
index aed4d3c..ada9cff 100644
--- a/lexmin.cc
+++ b/lexmin.cc
@@ -2855,6 +2855,8 @@ static int check_poly_lexmin(const struct check_poly_data *data,
 
     for (k = 1; k <= S->Dimension-nparam; ++k)
 	value_set_si(lexmin_data->z[k], 0);
+
+    return 0;
 }
 
 void verify_results(Polyhedron *A, Polyhedron *C, vector<max_term*>& maxima, 
-- 
2.11.4.GIT