From 9f421e6b1df565ab28d449f4986e38bb4e1be12b Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 30 Nov 2015 15:49:53 +0100
Subject: [PATCH] Added package name to opam file

---
 opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/opam b/opam
index b760ac53..eb0bf60a 100644
--- a/opam
+++ b/opam
@@ -1,4 +1,5 @@
 opam-version: "1.2"
+name:"msat"
 license: "Apache"
 version: "dev"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]