Remove duplicate line

This commit is contained in:
Yung Lee 2013-04-30 19:19:02 +08:00
commit 25df4f9f01

View file

@ -23,8 +23,6 @@ Foo_set (3.1415926);
// See if the change took effect
printf("Foo = %f\n", Foo_get());
printf("Foo = %f\n", Foo_get());
// Check error message if violate contract
g = gcd(-42,105);
fact(-4);