From e5d62f3d89663c530f26d48362cb7614e46f1842 Mon Sep 17 00:00:00 2001
From: Maas-Maarten Zeeman <mmzeeman@xs4all.nl>
Date: Thu, 23 Jan 2025 14:58:09 +0100
Subject: [PATCH] Add proper as extra plt app to dialyzer config

---
 rebar.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/rebar.config b/rebar.config
index 5956057..9259c99 100644
--- a/rebar.config
+++ b/rebar.config
@@ -19,6 +19,7 @@
 	]},
 	{test, [
 	    {dialyzer, [
+          {plt_extra_apps, [proper]},
           {warnings, [
               no_return
           ]}