#!/usr/bin/env bash
# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT

# This is a fake `rustfmt` for testing what happens when rustfmt is not found
# or overridden.

exit 1