Commit 1e857f1a authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault

ltl-desugar: clean up main

parent e29fbbd2
......@@ -5,6 +5,11 @@ import "fmt"
import "encoding/json"
func main() {
if len(os.Args) < 3 {
fmt.Fprintf(os.Stderr, "Usage: ltl FORMULA JSON_MAP\n")
os.Exit(1)
}
m := make(map[string][]string)
err := json.Unmarshal([]byte(os.Args[2]), &m)
if err != nil {
......@@ -17,5 +22,5 @@ func main() {
fmt.Fprintf(os.Stderr, "%v\n", err)
os.Exit(1)
}
fmt.Println("res: " + res)
fmt.Println(res)
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment