From a79f1b8d94e1689e93fee133b2d5932b242080a7 Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Mon, 21 Feb 2022 11:25:21 +0100
Subject: [PATCH] psalm: remove deprecated option

---
 psalm.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/psalm.xml b/psalm.xml
index 49eb6d0..8dc065a 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -1,6 +1,5 @@
 <?xml version="1.0"?>
 <psalm
-    totallyTyped="false"
     errorLevel="5"
     resolveFromConfigFile="true"
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-- 
GitLab