rename after refactor to RustExpr - fix

lemastero · Dec 18, 2023 · fa7e834 · fa7e834
1 parent 6a8ae2d
commit fa7e834
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs b/src/Agda/Compiler/Rust/PrettyPrintRustExpr.hs
@@ -1,4 +1,4 @@
-module Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr ) where
+module Agda.Compiler.Rust.PrettyPrintRustExpr ( prettyPrintRustExpr, moduleHeader ) where
 
 import Data.List ( intersperse )
 import Agda.Compiler.Rust.CommonTypes ( CompiledDef )
@@ -61,4 +61,3 @@ prettyPrintFunctionBody fBody = "return" <> exprSeparator <> fBody <> ";"
 
 moduleHeader :: String -> String
 moduleHeader mName = "mod" <> exprSeparator <> mName <> exprSeparator
-
diff --git a/test/RustBackendTest.hs b/test/RustBackendTest.hs
@@ -7,7 +7,7 @@ import Test.HUnit (
   , runTestTT)
 import System.Exit ( exitFailure , exitSuccess )
 import Agda.Compiler.Rust.Backend ( backend, defaultOptions )
-import Agda.Compiler.Rust.AgdaToRustExpr ( moduleHeader )
+import Agda.Compiler.Rust.PrettyPrintRustExpr ( moduleHeader )
 
 import Agda.Compiler.Backend ( isEnabled )