From 35a598cfd5a6252e0a73e68ccf387430d8a351ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Wed, 1 Feb 2017 09:43:38 +0100 Subject: [PATCH] Use [debug] tag. --- demos/basic/Makefile | 1 - demos/basic/_tags | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/demos/basic/Makefile b/demos/basic/Makefile index 0a84541..71268aa 100644 --- a/demos/basic/Makefile +++ b/demos/basic/Makefile @@ -5,7 +5,6 @@ OCAMLBUILD := \ ocamlbuild \ -use-ocamlfind \ -classic-display \ - -cflags "-g" -lflags "-g" \ MLI := \ $(patsubst %.ml,%.inferred.mli,$(wildcard *.ml)) diff --git a/demos/basic/_tags b/demos/basic/_tags index bb23a04..ed6e919 100644 --- a/demos/basic/_tags +++ b/demos/basic/_tags @@ -1,4 +1,5 @@ true: \ + debug, \ safe_string, \ warn(A-4-44), \ package(pprint), \ -- GitLab