From aca72ee7ebadf396d815f6c4983697e76e408268 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 1 Jun 2009 15:47:52 +0000
Subject: Modify eval() to return a cell reference instead of its contents.

Add get{Dest,Argument}Cell for computing the cell to store instructions results
and arguments into, respectuvely.

Prep for moving fast path constant evaluation out of the Expr libraary itself.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72692 91177308-0d34-0410-b5e6-96231b3b80d8
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ec9c7cca..db11c416 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,7 @@ doxygen:
 .PHONY: cscope.files
 cscope.files:
 	find \
-          lib include stp tools runtime examples unittests \
+          lib include stp tools runtime examples unittests test www/code-examples \
           -name Makefile -or \
           -name \*.in -or \
           -name \*.c -or \
-- 
cgit 1.4.1