diff options
| author | Matthieu Sozeau | 2014-10-15 13:52:43 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-10-15 13:52:43 +0200 |
| commit | 5467fc3ee8249d5e1978cba5006db98cdfc27384 (patch) | |
| tree | 222ed0df8c1875132b9497f84d10e8812b06a136 | |
| parent | 347c4888e07cf76c7e1c6672ccfa89f86a0f11ea (diff) | |
Bug 3628 is fixed.
| -rw-r--r-- | test-suite/bugs/closed/3628.v (renamed from test-suite/bugs/opened/3628.v) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/opened/3628.v b/test-suite/bugs/closed/3628.v index bd85bb1f92..4001cf7c2b 100644 --- a/test-suite/bugs/opened/3628.v +++ b/test-suite/bugs/closed/3628.v @@ -5,5 +5,5 @@ End NonPrim. Module Prim. Set Primitive Projections. Class AClass := { x : Set }. - Fail Arguments x {AClass}. + Arguments x {AClass}. End Prim. |