Skip to content
Snippets Groups Projects
Commit 89467a4c authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Typo in test directive

parent 7bdc9cdf
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp_tip/split.i
+ 1
− 1
View file @ 89467a4c
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/oracle/@PTEST_NAME@.session OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/oracle/@PTEST_NAME@.session
*/ */
/* run.config_qualif /* run.config_qualif
DONT_RUN: DONTRUN:
*/ */
/*@ axiomatic X { /*@ axiomatic X {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment