diff --git a/pil-analyzer/src/evaluator.rs b/pil-analyzer/src/evaluator.rs
index cd664110d..17131dd01 100644
--- a/pil-analyzer/src/evaluator.rs
+++ b/pil-analyzer/src/evaluator.rs
@@ -196,7 +196,7 @@ pub enum BuiltinFunction {
     /// std::check::panic: string -> !, fails evaluation and uses its parameter for error reporting.
     /// Does not return.
     Panic,
-    /// std::dbg::print: string -> [], prints its argument on stdout.
+    /// std::debug::print: string -> [], prints its argument on stdout.
     /// std::debug::print: string -> [], prints its argument on stdout.
     /// Returns an empty array.
     Print,
@@ -768,4 +768,14 @@ mod test {
         "#;
         assert_eq!(parse_and_evaluate_symbol(src, "zpz"), "1".to_string());
     }
+
+    #[test]
+    pub fn debug_print() {
+        let src = r#"
+            namespace std::debug(8);
+            let print = 2;
+            let N = std::debug::print("test output\n");
+        "#;
+        parse_and_evaluate_symbol(src, "std::debug::N");
+    }
 }
diff --git a/std/dbg.asm b/std/dbg.asm
deleted file mode 100644
index 8a6134296..000000000
--- a/std/dbg.asm
+++ /dev/null
@@ -1,7 +0,0 @@
-/// This is a built-in function taking a string argument and printing it on stdout
-/// when evaluated.
-/// It returns an empty array so that it can be used at constraint level.
-/// This symbol is not an empty array, the actual semantics are overridden.
-let print = [];
-
-let println = |msg| print(msg + "\n");
\ No newline at end of file