From 234ab7fdc0b78124285d13346647c77aa042b330 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 3 Nov 2021 21:44:56 +1300 Subject: CSV output now functional --- src/deck_io.ads | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/deck_io.ads') diff --git a/src/deck_io.ads b/src/deck_io.ads index e7723a3..7121a37 100644 --- a/src/deck_io.ads +++ b/src/deck_io.ads @@ -116,7 +116,8 @@ package Deck_IO is (Directory : in String; Basename : in String; Models : in Model_Maps.Map; - Notes : in Note_Vectors.Vector) + Notes : in Note_Vectors.Vector; + Overwrite : in Boolean := False) with Pre => Matches (Models, Notes); procedure Write_FMD @@ -124,7 +125,8 @@ package Deck_IO is Basename : in String; Models : in Model_Maps.Map; Notes : in Note_Vectors.Vector; - Media : in Media_Maps.Map) + Media : in Media_Maps.Map; + Overwrite : in Boolean := False) with Pre => Matches (Models, Notes); -- cgit