diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2019-07-27 00:54:25 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2019-07-27 18:56:13 +0300 |
| commit | ca9faa52f5ada0054b1fa27d97aedf448afb059b (patch) | |
| tree | 9913a609bd4690854ffb69816602dbb020ed6a99 /src/test/run-pass/nullable-pointer-iotareduction.rs | |
| parent | 0e9b465d729d07101b29b4d096d83edf9be82df0 (diff) | |
tests: Add missing run-pass annotations
Diffstat (limited to 'src/test/run-pass/nullable-pointer-iotareduction.rs')
| -rw-r--r-- | src/test/run-pass/nullable-pointer-iotareduction.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/run-pass/nullable-pointer-iotareduction.rs b/src/test/run-pass/nullable-pointer-iotareduction.rs index 42aad550c1a..4c6964f294b 100644 --- a/src/test/run-pass/nullable-pointer-iotareduction.rs +++ b/src/test/run-pass/nullable-pointer-iotareduction.rs @@ -1,3 +1,5 @@ +// run-pass + #![feature(box_syntax)] // Iota-reduction is a rule in the Calculus of (Co-)Inductive Constructions, |