From dc7c97325663ed63ff9612144960839d95306e24 Mon Sep 17 00:00:00 2001 From: Jidong Xiao Date: Tue, 11 Mar 2025 02:12:38 -0400 Subject: [PATCH] removing the redundant $ sign --- lectures/optimization/map_insert/README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/lectures/optimization/map_insert/README.md b/lectures/optimization/map_insert/README.md index 63eaeeb..5893102 100644 --- a/lectures/optimization/map_insert/README.md +++ b/lectures/optimization/map_insert/README.md @@ -39,7 +39,6 @@ $time ./map_insert_copy real 0m0.507s user 0m0.247s sys 0m0.259s -$ $time ./map_insert_copy