diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-07-25 17:18:23 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-07-25 17:18:23 -0400 |
| commit | a706d3b803c949b60e1ee91d911f1c607a6bc22a (patch) | |
| tree | 1f295d316f0927e426687f8b349588e317b13669 | |
| parent | c99ac8859a07b881dd9c4e0eeebc836d24cc27c1 (diff) | |
accept MPCP-VS as a synonym for MPCP_VS
| -rw-r--r-- | src/litmus.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/litmus.c b/src/litmus.c index a1ce873..8c0f9b4 100644 --- a/src/litmus.c +++ b/src/litmus.c | |||
| @@ -20,6 +20,7 @@ static struct { | |||
| 20 | LP(SRP), | 20 | LP(SRP), |
| 21 | LP(MPCP), | 21 | LP(MPCP), |
| 22 | LP(MPCP_VS), | 22 | LP(MPCP_VS), |
| 23 | {MPCP_VS_SEM, "MPCP-VS"}, | ||
| 23 | LP(DPCP), | 24 | LP(DPCP), |
| 24 | LP(OMLP), | 25 | LP(OMLP), |
| 25 | }; | 26 | }; |