diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:09:53 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:10:08 -0600 |
| commit | 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa (patch) | |
| tree | 960adfe7c475b1d5c54dbb4c43b035ee6c740151 /src/theory/sep/kinds | |
| parent | 1f9f7a3bd665575fd25f0fe93547ee0564cc18c9 (diff) | |
Add a few options to separation logic and sets. Minor changes to separation logic, change syntax for empty heap constraint.
Diffstat (limited to 'src/theory/sep/kinds')
| -rw-r--r-- | src/theory/sep/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sep/kinds b/src/theory/sep/kinds index 6c4ad33db..318442ba5 100644 --- a/src/theory/sep/kinds +++ b/src/theory/sep/kinds @@ -21,7 +21,7 @@ constant SEP_NIL_REF \ variable SEP_NIL "separation nil" -operator SEP_EMP 1 "separation empty heap" +operator SEP_EMP 2 "separation empty heap" operator SEP_PTO 2 "points to relation" operator SEP_STAR 2: "separation star" operator SEP_WAND 2 "separation magic wand" |