From 173ea1a6f665eafef509c3c04b2377b3e71b382f Mon Sep 17 00:00:00 2001
From: Alexandre Hamez <alexandre.hamez@gmail.com>
Date: Sat, 2 Nov 2024 08:31:49 +0100
Subject: [PATCH] fix: remove :propcheck from :extra_applications

As per https://hexdocs.pm/mix/Mix.Tasks.Compile.App.html, it should be
only for OTP apps which are not listed in deps/0
---
 mix.exs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/mix.exs b/mix.exs
index d3919f3..109cb3b 100644
--- a/mix.exs
+++ b/mix.exs
@@ -30,8 +30,7 @@ defmodule Protox.Mixfile do
     [
       extra_applications: [
         :crypto,
-        :mix,
-        :propcheck
+        :mix
       ]
     ]
   end