Fix props

brownsys · Sep 13, 2023 · c1a795d · c1a795d
1 parent 92e4bb8
commit c1a795d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/props/lemmy/src/main.rs b/props/lemmy/src/main.rs
@@ -47,6 +47,6 @@ impl CommunityProp {
     }
 }
 
-fn main(cx: Arc<Context>) {
-    CommunityProp::new(cx).check();
+fn main() {
+    dfcheck::cli(|cx| CommunityProp::new(cx).check())
 }
diff --git a/props/websubmit/src/main.rs b/props/websubmit/src/main.rs
@@ -72,6 +72,6 @@ impl DeletionProp {
     }
 }
 
-pub fn main() {
+fn main() {
     dfcheck::cli(|cx| DeletionProp::new(cx).check())
 }