[Ur] sanity checking

Adam Chlipala adamc at impredicative.com
Sun Dec 12 19:46:11 EST 2010


Karn Kallio wrote:
> Same here with gcc (GCC) 4.4.3
>
> [kkallio at eka:~/scratch/test]$ gcc test.c
>
> [kkallio at eka:~/scratch/test]$ ./a.out
> Outer
>    

Thanks.  The other important question is whether, when you look at the 
code, you also expect it to output two lines, not just one.



More information about the Ur mailing list