Skip to content

Instantly share code, notes, and snippets.

@charlie5

charlie5/gist:77a42c3035db22c8e7d021dfe70a4674

Created June 16, 2016 08:24
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save charlie5/77a42c3035db22c8e7d021dfe70a4674 to your computer and use it in GitHub Desktop.
Save charlie5/77a42c3035db22c8e7d021dfe70a4674 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
--- kernel/src/gps-kernel-timeout.adb 2014-11-14 05:15:57.000000000 +1100
+++ kernel/src/gps-kernel-timeout.adb-new 2016-06-16 17:52:01.374463000 +1000
@@ -587,7 +587,7 @@
if Line_By_Line then
Expect_Regexp := new Pattern_Matcher'(Compile ("^.*?\n"));
else
- Expect_Regexp := new Pattern_Matcher'(Compile (".*$", Single_Line));
+ Expect_Regexp := new Pattern_Matcher'(Compile (".*", Single_Line));
end if;
if Name_In_Task_Manager /= "" then
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment