fixes typo in tests/spec/merge_bts938.c

a2a52427 · Patrick Baudin · b3215b80 · a2a52427
Commit a2a52427 authored 4 years ago by Patrick Baudin
--- a/tests/spec/merge_bts938.c
+++ b/tests/spec/merge_bts938.c
 /* run.config
-   STDOPT: +"%{deps:merge_bts938_1.c}"
+   DEPS: @PTEST_NAME@.h
+   STDOPT: +"%{dep:@PTEST_NAME@_1.c}"
 */
 #include "merge_bts938.h"
 //@ ensures test:\true;
 int main(void) { }