summaryrefslogtreecommitdiffstats
path: root/src/misc/espresso/cvrout.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2010-11-01 01:35:04 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2010-11-01 01:35:04 -0700
commit6130e39b18b5f53902e4eab14f6d5cdde5219563 (patch)
tree0db0628479a1b750e9af1f66cb8379ebd0913d31 /src/misc/espresso/cvrout.c
parentf0e77f6797c0504b0da25a56152b707d3357f386 (diff)
downloadabc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.gz
abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.tar.bz2
abc-6130e39b18b5f53902e4eab14f6d5cdde5219563.zip
initial commit of public abc
Diffstat (limited to 'src/misc/espresso/cvrout.c')
-rw-r--r--src/misc/espresso/cvrout.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/misc/espresso/cvrout.c b/src/misc/espresso/cvrout.c
index 60b9d9e8..4ac1cfd7 100644
--- a/src/misc/espresso/cvrout.c
+++ b/src/misc/espresso/cvrout.c
@@ -14,6 +14,9 @@
#include "espresso.h"
+ABC_NAMESPACE_IMPL_START
+
+
void fprint_pla(fp, PLA, output_type)
INOUT FILE *fp;
IN pPLA PLA;
@@ -571,7 +574,7 @@ int output_symbolic;
}
- /* Print out the contraints */
+ /* Print out the constraints */
if (! output_symbolic) {
(void) fprintf(fp,
"# Symbolic constraints for variable %d (Numeric form)\n", var);
@@ -607,3 +610,5 @@ int output_symbolic;
}
}
}
+ABC_NAMESPACE_IMPL_END
+