// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
//

#import("library1.dart");
class Prefix1NegativeTest {
  static Main() {
    // This is a syntax error as library1 was not imported with a prefix.
    return library1.foo;
  }
}

main() {
  Prefix1NegativeTest.Main();
}
