From 4fd6028d33b7ea6fdc6c2851fe646594953a90b6 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 19 Nov 2009 17:53:17 +0000
Subject: [PATCH] minor edits to the user-guided absrefine example

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@417 e59a4935-1847-0410-ae03-e826735625c1
---
 tests/c-api-tests/userguided-absrefine.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/c-api-tests/userguided-absrefine.c b/tests/c-api-tests/userguided-absrefine.c
index 765d975..bd4fee1 100644
--- a/tests/c-api-tests/userguided-absrefine.c
+++ b/tests/c-api-tests/userguided-absrefine.c
@@ -107,7 +107,7 @@ int get_pairtype(char * seq, int i, int j) {
  *************************************************************/
 int main(int argc, char** argv) {
   if(argc < 2 || argc > 3) {
-    printf("Usage: biosat <sequence length> <energy lower bound>\n");
+    printf("Usage: biosat <sequence> <energy lower bound>\n");
     printf("Usage to print input back: biosat -b \n");
     exit(-1);
   }
-- 
2.47.3