From 8f8068695d1f5266861b42345784f97cbcc7597f Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Fri, 30 Nov 2018 13:04:27 +0000 Subject: [PATCH] JavaScript: Bump extractor version to avoid trap cache. --- javascript/extractor/src/com/semmle/js/extractor/Main.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/extractor/src/com/semmle/js/extractor/Main.java b/javascript/extractor/src/com/semmle/js/extractor/Main.java index 60c2e9cb82f..b6183eff35c 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/Main.java +++ b/javascript/extractor/src/com/semmle/js/extractor/Main.java @@ -41,7 +41,7 @@ public class Main { * such a way that it may produce different tuples for the same file under the same * {@link ExtractorConfig}. */ - public static final String EXTRACTOR_VERSION = "2019-14-01"; + public static final String EXTRACTOR_VERSION = "2019-01-17"; public static final Pattern NEWLINE = Pattern.compile("\n");