From 13dd90d5f6fb2a724bf2b87f00ac2e66bd783665 Mon Sep 17 00:00:00 2001 From: Quaternions Date: Fri, 17 Nov 2023 18:40:11 -0800 Subject: [PATCH] opti --- src/face_crawler.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/face_crawler.rs b/src/face_crawler.rs index deaf8de..ceeaedf 100644 --- a/src/face_crawler.rs +++ b/src/face_crawler.rs @@ -25,6 +25,7 @@ enum Transition{ if time<=t&&t