diff options
author | Jedidiah Barber <contact@jedbarber.id.au> | 2021-11-03 21:44:56 +1300 |
---|---|---|
committer | Jedidiah Barber <contact@jedbarber.id.au> | 2021-11-03 21:44:56 +1300 |
commit | 234ab7fdc0b78124285d13346647c77aa042b330 (patch) | |
tree | 6af72a2504b6865f7f4ba81dc22738d60026dc63 /src/deck_io.ads | |
parent | 3746ce4682daf46a6c6a0aa25fdbe189d261d5b7 (diff) |
CSV output now functional
Diffstat (limited to 'src/deck_io.ads')
-rw-r--r-- | src/deck_io.ads | 6 |
1 files changed, 4 insertions, 2 deletions
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); |