From f34934db3fd60e69de7044d485458e25dd9e5fa7 Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 17 Jun 2018 19:13:39 +0200
Subject: [PATCH] Corrected formal analysis setup script

The script did not create the right directory, so the files didn't copy
properly.
---
 tests/formal-analysis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 8b67d46..80bc28c 100755
--- a/tests/formal-analysis.sh
+++ b/tests/formal-analysis.sh
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-mkdir -p formal-analysis
+mkdir -p tests/formal-analysis
 cp src/monocypher.c      \
    src/monocypher.h      \
    src/optional/sha512.h \
-- 
2.47.3