From 304b19cbeaea3e47064e6fb4faeb6e880bd1c574 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 10 Jul 2009 23:20:50 +0000
Subject: Fixed order of offsets in Extract.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75311 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/SMT/smtlib.y | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/SMT/smtlib.y b/lib/SMT/smtlib.y
index 7a6485ea..43682cf4 100644
--- a/lib/SMT/smtlib.y
+++ b/lib/SMT/smtlib.y
@@ -745,8 +745,8 @@ an_bitwise_fun:
 
   | LPAREN_TOK BVEXTRACT_TOK LBRACKET_TOK NUMERAL_TOK COLON_TOK NUMERAL_TOK RBRACKET_TOK an_term annotations
     {
-      int off = PARSER->StringToInt(*$4);
-      $$ = ExtractExpr::create($8, off, PARSER->StringToInt(*$6) - off + 1);
+      int off = PARSER->StringToInt(*$6);
+      $$ = ExtractExpr::create($8, off, PARSER->StringToInt(*$4) - off + 1);
     }
 ;
 
-- 
cgit 1.4.1