# HG changeset patch
# User ladanyi
# Date 1192801813 0
# Node ID ea96c0acefc42fa6b8fbeb3142618c51597adc49
# Parent  72c3c25d5b8f842fe0274c7850d0c4b5a06d269d
Build fix.

diff -r 72c3c25d5b8f -r ea96c0acefc4 demo/Makefile.am
--- a/demo/Makefile.am	Wed Oct 17 12:46:14 2007 +0000
+++ b/demo/Makefile.am	Fri Oct 19 13:50:13 2007 +0000
@@ -42,11 +42,10 @@
 	demo/disjoint_paths_demo \
 	demo/strongly_connected_orientation \
 	demo/steiner_demo \
-	demo/sat-2 \
-	demo/sat
+	demo/sat-2
 
 if HAVE_GLPK
-noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo
+noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo demo/sat
 else !HAVE_GLPK
 if HAVE_CPLEX
 noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo