// RUN: mlir-opt %s --verify-diagnostics
// This file is used as additional input.
// expected-error @below {{expected operation name in quotes}}
module {
// RUN: mlir-opt %s --verify-diagnostics
// This file is used as additional input.
// expected-error @below {{expected operation name in quotes}}
module {