add flag to check code in specific files

flux-rs · Dec 3, 2024 · be52066 · be52066
1 parent da11e9a
commit be52066
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/crates/flux-infer/src/fixpoint_encoding.rs b/crates/flux-infer/src/fixpoint_encoding.rs
@@ -30,7 +30,6 @@ use rustc_hir::def_id::{DefId, LocalDefId};
 use rustc_index::newtype_index;
 use rustc_span::{Span, Symbol};
 use rustc_type_ir::{BoundVar, DebruijnIndex};
-use serde::Serialize;
 
 pub mod fixpoint {
     use std::fmt;
@@ -160,7 +159,6 @@ pub mod fixpoint {
 
 newtype_index! {
     #[debug_format = "TagIdx({})"]
-    #[derive(Serialize)]
     pub struct TagIdx {}
 }