source: CIVL/examples/library/stdio/printfBad.cvl@ 85120bb

#include<civlc.h>
#include<stdio.h>

$input double x;

void main() {
  printf("x=%l", x); //%l is not a valid conversion specifier, so this example will have a syntax error.
}