add make_expr, as_expr_ref and reimplement pass-through compiler

[SVN r35785]
This commit is contained in:
Eric Niebler 2006-10-30 02:00:19 +00:00
parent fe926cf79b
commit 3f22734278

@ -1 +1 @@
Subproject commit 1fb8dc826b27e97c40c7c4d7fc1d5b7af81c6392
Subproject commit 26e2af42d9b5e8d3c0364095d4cd0f1020a31b33