@@ -3,7 +3,7 @@ OUT="$(mktemp)"
cat > "$IN"
-gnatmake "$IN" -o "$OUT" -w -gnatws
+gnatmake "$IN" -o "$OUT" -gnatws
if [ $? -eq 0 ]; then
exec "$OUT"