// Copyright 2022 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SRC_FIRMWARE_GIGABOOT_CPP_LEGACY_C_GIGABOOT_PRINTF_H_
#define SRC_FIRMWARE_GIGABOOT_CPP_LEGACY_C_GIGABOOT_PRINTF_H_

#include <../../include/printf.h>

#endif  // SRC_FIRMWARE_GIGABOOT_CPP_LEGACY_C_GIGABOOT_PRINTF_H_