From 3c8dca429a9f8048227449cb9a5c5bb974c9891e Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 13 Dec 2012 12:04:27 -0800
Subject: [PATCH] syntax: normalize paths when parsing, close #4173.

---
 src/libsyntax/parse/parser.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libsyntax/parse/parser.rs b/src/libsyntax/parse/parser.rs
index 625ff289607f..0f1c34676252 100644
--- a/src/libsyntax/parse/parser.rs
+++ b/src/libsyntax/parse/parser.rs
@@ -3023,6 +3023,7 @@ impl Parser {
         } else {
             prefix.push_many(path.components)
         };
+        let full_path = full_path.normalize();
         let p0 =
             new_sub_parser_from_file(self.sess, self.cfg,
                                      &full_path, id_sp);