From 216981f7e3f204345807891b27cc92c4554d1302 Mon Sep 17 00:00:00 2001
From: Ben Liblit <liblit@cs.wisc.edu>
Date: Mon, 19 Mar 2018 17:13:14 -0500
Subject: [PATCH] Somebody decided to use three-space indentation in this file
 only

OK, whatever makes you happy.
---
 com.ibm.wala.cast/source/c/jni/launch.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/com.ibm.wala.cast/source/c/jni/launch.cpp b/com.ibm.wala.cast/source/c/jni/launch.cpp
index c836a33b1..133686fa6 100644
--- a/com.ibm.wala.cast/source/c/jni/launch.cpp
+++ b/com.ibm.wala.cast/source/c/jni/launch.cpp
@@ -41,3 +41,7 @@ JNIEnv *launch_jvm(char *classpath) {
 void kill() {
    javaVM->DestroyJavaVM();
 }
+
+// Local variables:
+// c-basic-offset: 3
+// End: