diff options
Diffstat (limited to 'mppa_k1c/abstractbb/DepTreeTheory.v')
| -rw-r--r-- | mppa_k1c/abstractbb/DepTreeTheory.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/abstractbb/DepTreeTheory.v b/mppa_k1c/abstractbb/DepTreeTheory.v index 4d5c71b3..bfe79d42 100644 --- a/mppa_k1c/abstractbb/DepTreeTheory.v +++ b/mppa_k1c/abstractbb/DepTreeTheory.v @@ -115,7 +115,7 @@ Hint Rewrite set_spec_eq empty_spec: dict_rw. Fixpoint exp_tree (e: exp) (d old: deps): tree := match e with - | Name x => deps_get d x + | PReg x => deps_get d x | Op o le => Top o (list_exp_tree le d old) | Old e => exp_tree e old old end |