fix bug 534: portfolio define-fun duplicate model
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 12 Sep 2013 18:44:49 +0000 (14:44 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 12 Sep 2013 18:44:49 +0000 (14:44 -0400)
commit470c20cd7d12f8de3e9d4e7c38d2ebba1296b098
treeeba01503e16a20ac5eb1f4e44e7f87aa4b16acbd
parent28ec8ce392a815c47689ecd86b5b91f9a58104e5
fix bug 534: portfolio define-fun duplicate model
src/expr/command.cpp
src/expr/expr_template.cpp
src/expr/expr_template.h
src/expr/node.h
src/main/command_executor_portfolio.cpp
src/main/portfolio.cpp