Added change note for github#646

rak3-sh · rak3-sh · commit 9f88e856ba7c · 2024-07-23T12:50:45.000+09:00
diff --git a/change_notes/2024-07-23-fix-fp-646-M0-1-10.md b/change_notes/2024-07-23-fix-fp-646-M0-1-10.md
@@ -0,0 +1,2 @@
+- `M0-1-10` - `EncapsulatingFunctions.qll`:
+  - Fixes #646. Consider typedef'd `int` return types for `main()` function as MainFunction.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+- `M0-1-10` - `EncapsulatingFunctions.qll`:
	`2`	+ - Fixes #646. Consider typedef'd `int` return types for `main()` function as MainFunction.