From deb45e12f0ac9a5dacbcc208494e2b01635bf260 Mon Sep 17 00:00:00 2001
From: Nico Lehmann <nico.lehmannm@gmail.com>
Date: Sun, 5 Nov 2023 17:49:14 -0800
Subject: [PATCH] Add visitor for surface

---
 crates/flux-syntax/src/lib.rs     | 2 +-
 crates/flux-syntax/src/surface.rs | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/crates/flux-syntax/src/lib.rs b/crates/flux-syntax/src/lib.rs
index 98805e3f1b..67c8709637 100644
--- a/crates/flux-syntax/src/lib.rs
+++ b/crates/flux-syntax/src/lib.rs
@@ -1,4 +1,4 @@
-#![feature(rustc_private)]
+#![feature(rustc_private, box_patterns)]
 
 extern crate rustc_ast;
 extern crate rustc_span;
diff --git a/crates/flux-syntax/src/surface.rs b/crates/flux-syntax/src/surface.rs
index 9b1c440a80..b5e4529b40 100644
--- a/crates/flux-syntax/src/surface.rs
+++ b/crates/flux-syntax/src/surface.rs
@@ -1,3 +1,5 @@
+pub mod visit;
+
 use std::fmt;
 
 pub use rustc_ast::{