From c953b465e9fb537546ee8b0ae4b8d90e01fd7f7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 3 Feb 2020 22:50:53 +0100
Subject: [PATCH] Add documentation string to input option

---
 src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.rs b/src/main.rs
index 1ab0ef7..8bcb4d4 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -7,6 +7,7 @@ enum Command
 	#[structopt(about = "Verifies a logic program against a specification")]
 	VerifyProgram
 	{
+		/// ASP input program (one or multiple files)
 		#[structopt(parse(from_os_str), required(true))]
 		input: Vec<std::path::PathBuf>,
 	}